Picosat SAT-Solver Wrapper
Project description
pyPicosat provides a basic wrapping around the efficient Picosat SAT-Solver.
Picosat is developed by Armin Biere, for more information: http://fmv.jku.at/picosat/
Picosat SAT-Solver Wrapper
pyPicosat provides a basic wrapping around the efficient Picosat SAT-Solver.
Picosat is developed by Armin Biere, for more information: http://fmv.jku.at/picosat/