Download org.sat4j.core JAR 2.0.4 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.0.4 from the group org.sat4j.
Artifact org.sat4j.core
Group org.sat4j
Version 2.0.4
Last update 06. November 2008
Tags: sonatype created nexus
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.0.4
Last update 06. November 2008
Tags: sonatype created nexus
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
There is a newer version: 2.3.1
Show newest versionShow all versions of org.sat4j.core
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.0.4
META-INF
org.sat4j
org.sat4j.core
org.sat4j
org.sat4j.minisat
org.sat4j.minisat.constraints
org.sat4j.minisat.constraints.card
org.sat4j.minisat.constraints.cnf
org.sat4j.minisat.core
org.sat4j.minisat.learning
org.sat4j.minisat.orders
org.sat4j.minisat.restarts
org.sat4j.minisat.uip
org.sat4j.opt
org.sat4j.reader
org.sat4j.specs
org.sat4j.tools
© 2015 - 2024 Weber Informatics LLC | Privacy Policy