choco-sat is a Free and Open-Source Software dedicated to Boolean Satisfiabilty Problem, ie a SAT solver. It is a Java library written under BSD license.
ktp-forked-repos / choco-sat Goto Github PK
View Code? Open in Web Editor NEWThis project forked from chocoteam/choco-sat
License: BSD 3-Clause "New" or "Revised" License