picosat-devel-32bit

Satisfiability (SAT) solver for boolean variables - development files (32bit)

Details

Homepage:

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

License:

MIT

Maintainer:

Duncaen

Changelog:

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

Repository:

void-repo-multilib

Built at:

2022-10-26 00:51

Installed size:

129.16 KiB

Popularity:

No usages in 100 reports

Depending on:

• libpicosat-32bit>=965_{_2}
• picosat-devel-965_{_2}