libpicosat

Satisfiability (SAT) solver for boolean variables - runtime library

Details

Homepage:

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

License:

MIT

Maintainer:

Duncaen

Changelog:

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

Built at:

2022-10-25 21:57 - 2022-10-26 01:16

Installed size:

93.42 KiB - 109.48 KiB

Popularity:

No usages in 121 reports

Provided shlibs:

libpicosat.so

Depending on:

• glibc>=2.32_{_1}
• musl>=1.1.24_{_7}