minisat

A minimalistic and high-performance SAT solver

---

Build for x86_64-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:

119.80 KiB

Popularity:

No usages in 95 reports

Depending on:

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