A Java library that eases the use of the constraint solver Minisat.
Primary LanguageJavaOtherNOASSERTION