All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download org.sat4j.core JAR file with all dependencies

Search JAR files by class name

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.

Group: org.sat4j Artifact: org.sat4j.core
Show all versions Show documentation Show source 
 

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!



Page 1 from 1 (items total 1)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy