Source Package picosat
Builds
Updates
Bugs
Sources
Crash Reports
Koschei
Subpackages
picosat
- A SAT solver
picosat-R
- A SAT solver library for R
picosat-devel
- Development files for PicoSAT
picosat-libs
- A SAT solver library
Sources on
Pagure