Download org.ow2.sat4j.core JAR 2.3.6 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.ow2.sat4j.core version 2.3.6 from the group org.ow2.sat4j.

Test

Artifact org.ow2.sat4j.core
Group org.ow2.sat4j
Version 2.3.6
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

The newest version!

Show more of this group Show more artifacts with this name
Show all versions of org.ow2.sat4j.core Show documentation

Please rate this JAR file. Is it a good library?

5 downloads

Source code of org.ow2.sat4j.core version 2.3.6

Please wait ...