Download org.sat4j.core JAR file with all dependencies
org.sat4j.core from group org.sat4j (version 2.2.3)
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.
Artifact org.sat4j.core
Group org.sat4j
Version 2.2.3
Last update 24. December 2010
Tags: with contains willing flexible minisat that technologies software regularly updated initial implementation developer mature specification library target java core latest their capability
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group org.sat4j
Version 2.2.3
Last update 24. December 2010
Tags: with contains willing flexible minisat that technologies software regularly updated initial implementation developer mature specification library target java core latest their capability
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)