/jnisat

Java JNI bindings for the PicoSat and MiniSat SAT solvers

Primary LanguageJavaMIT LicenseMIT

Watchers