Indexed Artifacts (25.5M)

Popular Categories

The core library contains a flexible implementation in Java of the initial Minisat specification. The library is regularly updated with latest SAT technologies. It is a mature software that target Java developer willing to use SAT capability in their software.

LicenseEPL 1.0LGPL 2.1
Used By30 artifacts

VersionVulnerabilitiesRepositoryUsagesDate
2.3.6Central5Dec, 2020
2.3.5Central20May, 2013
2.3.4Central9Apr, 2013
2.3.3Central6Feb, 2013