Package Usage: maven: org.ow2.sat4j:org.ow2.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.
4 versions
Latest release: over 4 years ago
29 dependent packages

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

Dependent Repos 1

crillab/rubens

RUBENS is a library designed to generate test cases in an automatic way using translation rules. It is delivered with some builtin test generators and an interface conceived in order to create new ones with few effort.

Size: 585 KB - Last synced: 3 days ago - Pushed: over 1 year ago