Download JAR files tagged by minisat with all dependencies
org.ow2.sat4j.core from group org.ow2.sat4j (version 2.3.6)
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.
5 downloads
Artifact org.ow2.sat4j.core
Group org.ow2.sat4j
Version 2.3.6
Last update 14. December 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group org.ow2.sat4j
Version 2.3.6
Last update 14. December 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive 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 2)