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