picosat-dbg

Satisfiability (SAT) solver for boolean variables (debug files)

---

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

---

Details

Homepage:

http://fmv.jku.at/picosat/

License:

MIT

Maintainer:

Duncaen

Changelog:

http://fmv.jku.at/picosat/NEWS

Repository:

void-repo-debug

Built at:

2022-10-26 00:34

Installed size:

580.28 KiB

Popularity:

No usages in 88 reports

Depending on:

picosat-965_{_2}