This package provides functionality to solve satisfiability constraint problems. It provides access to the minisat program.
mathieudutsik / satisfiability Goto Github PK
View Code? Open in Web Editor NEWInterface to the satisfiability
License: GNU General Public License v2.0