picosat-0.1.1: Bindings to the PicoSAT solver

picosat-0.1.1: Bindings to the PicoSAT solver

picosat provides bindings for the fast PicoSAT solver library.

Modules