Indexed Artifacts (28.6M)

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
Date(Dec 16, 2020)
Filesjar (429 KB)  View All
RepositoriesCentralGroovyPluginsOW2 Public
Ranking#10603 in MvnRepository (See Top Artifacts)
Used By31 artifacts

Compile Dependencies (0)

Category/License Group / ArtifactVersionUpdates


NameEmailDev IdRolesOrganization
Daniel Le Berreleberre<at>cril.frleberrearchitect, developerCRIL CNRS UMR 8189
Stephanie Rousselsroussel<at>cril.frsrousseldeveloperCRIL CNRS 8188
Emmanuel Loncalonca<at>cril.frloncadeveloperCRIL CNRS 8188
Daniel Le Berredaniel.leberre<at>sat4j.orgleberrearchitect, developerCRIL CNRS 8188
Guillaume Sauthierguillaume.sauthier<at>ow2.orgsauthieg