Download org.sat4j.core JAR 2.3.1 with all dependencies
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.
Files of the artifact org.sat4j.core version 2.3.1 from the group org.sat4j.
Artifact org.sat4j.core
Group org.sat4j
Version 2.3.1
Last update 31. October 2011
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.3.1
Last update 31. October 2011
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!
The newest version!
Show all versions of org.sat4j.core Show documentation
Please rate this JAR file. Is it a good library?
org.sat4j.core
Rate from 1 - 5,
Rated 5.00 based on 1 reviews
9 downloads
Source code of org.sat4j.core version 2.3.1
Please wait ...