picosat

Satisfiability (SAT) solver for boolean variables

---

Build for armv6l-musl, 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

Built at:

2022-10-26 01:26

Source files:

http://fmv.jku.at/picosat/picosat-965.tar.gz

Installed size:

398.99 KiB

Popularity:

No usages in 100 reports

Depending on:

musl>=1.1.24_{_7}