minisat

A minimalistic and high-performance SAT solver

---

Build for i686-glibc, version 2.2.0_{_2}. Builds for all architectures.

---

Details

Homepage:

http://minisat.se/MiniSat.html

License:

MIT

Maintainer:

Tai Chi Minh Ralph Eastwood

Built at:

2022-10-25 22:00

Source files:

http://minisat.se/downloads/minisat-2.2.0.tar.gz

Installed size:

118.87 KiB

Popularity:

No usages in 107 reports

Depending on:

• glibc>=2.29_{_1}
• libgcc>=4.4.0_{_1}
• libstdc++>=4.4.0_{_1}
• zlib>=1.2.3_{_1}