Download org.sat4j.core JAR file with all dependencies
org.sat4j.core from group org.sat4j (version 2.3.1)
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.
9 downloads
Artifact org.sat4j.core
Group org.sat4j
Version 2.3.1
Last update 31. October 2011
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.3.1
Last update 31. October 2011
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)