Java JNI bindings for the PicoSat and MiniSat SAT solvers
Primary LanguageJavaMIT LicenseMIT
No issues in this repository yet.