Indexed Artifacts (25.4M)

Popular Categories

Sat4j is a full featured boolean reasoning library designed to bring state-of-the-art SAT technologies to the Java Virtual Machine.

LicenseEPL 1.0LGPL 2.1

VersionVulnerabilitiesRepositoryUsagesDate
2.3.6Central 0 Dec, 2020
2.3.5Central 0 May, 2013
2.3.4Central 0 Apr, 2013
2.3.3Central 0 Feb, 2013