picosat (hackage): Haskell bindings for PicoSAT solver
Keywords: library|logic|mit|haskell|haskell-library|logic-programming|picosat|picosat-solver|sat-solver