libpicosat

Satisfiability (SAT) solver for boolean variables - runtime library


Build for armv7l-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
Built at:
2022-10-25 21:57
Installed size:
93.54 KiB
Popularity:
No usages in 88 reports
Provided shlibs:
libpicosat.so
Depending on:
glibc>=2.32_1