Package Usage: maven: org.ow2.sat4j:org.ow2.sat4j.pb
The pb library contains algorithms for solving pseudo boolean optimization problems.
4 versions
Latest release: plus de 4 ans ago
15 dependent packages
View more package details: https://packages.ecosystem.code.gouv.fr/registries/repo1.maven.org/packages/org.ow2.sat4j:org.ow2.sat4j.pb