Download all versions of org.ow2.sat4j.core JAR files 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.
Artifact org.ow2.sat4j.core
Group org.ow2.sat4j
Version 2.3.6
Last update 14. December 2020
Tags: with contains willing flexible minisat that technologies software regularly updated initial developer mature implementation specification library target java core latest their capability
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
Tags: with contains willing flexible minisat that technologies software regularly updated initial developer mature implementation specification library target java core latest their capability
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
org.ow2.sat4j.core from group org.ow2.sat4j (version 2.3.5)
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.
Artifact org.ow2.sat4j.core
Group org.ow2.sat4j
Version 2.3.5
Last update 25. May 2013
Tags: with contains willing flexible minisat that technologies software regularly updated initial developer mature implementation specification library target java core latest their capability
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.5
Last update 25. May 2013
Tags: with contains willing flexible minisat that technologies software regularly updated initial developer mature implementation specification library target java core latest their capability
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
org.ow2.sat4j.core from group org.ow2.sat4j (version 2.3.4)
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.
Artifact org.ow2.sat4j.core
Group org.ow2.sat4j
Version 2.3.4
Last update 19. April 2013
Tags: with contains willing flexible minisat that technologies software regularly updated initial developer mature implementation specification library target java core latest their capability
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.4
Last update 19. April 2013
Tags: with contains willing flexible minisat that technologies software regularly updated initial developer mature implementation specification library target java core latest their capability
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
org.ow2.sat4j.core from group org.ow2.sat4j (version 2.3.3)
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.
Artifact org.ow2.sat4j.core
Group org.ow2.sat4j
Version 2.3.3
Last update 16. February 2013
Tags: with contains willing flexible minisat that technologies software regularly updated initial developer mature implementation specification library target java core latest their capability
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.3
Last update 16. February 2013
Tags: with contains willing flexible minisat that technologies software regularly updated initial developer mature implementation specification library target java core latest their capability
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 4)