Package Usage: maven: org.sat4j:org.sat4j.core

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.
3 versions
Latest release: plus de 13 ans ago
16 dependent packages

View more package details: https://packages.ecosystem.code.gouv.fr/registries/repo1.maven.org/packages/org.sat4j:org.sat4j.core