Download org.ow2.sat4j.pom JAR file with all dependencies
org.ow2.sat4j.pom from group org.ow2.sat4j (version 2.3.6)
Sat4j is a full featured boolean reasoning library designed to bring state-of-the-art SAT technologies to the Java Virtual Machine.
Group: org.ow2.sat4j Artifact: org.ow2.sat4j.pom
Show all versions
Show all versions
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact org.ow2.sat4j.pom
Group org.ow2.sat4j
Version 2.3.6
Last update 14. December 2020
Organization Centre de Recherche en Informatique de Lens (CRIL)
URL http://www.sat4j.org/
License Eclipse Public License 1.0
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 Centre de Recherche en Informatique de Lens (CRIL)
URL http://www.sat4j.org/
License Eclipse Public License 1.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)