minisat-dbg

A minimalistic and high-performance SAT solver (debug files)

---

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

Repository:

void-repo-debug

Built at:

2022-10-26 00:27

Installed size:

35.15 KiB

Popularity:

No usages in 107 reports

Depending on:

minisat-2.2.0_{_2}