Download JAR files tagged by opensat with all dependencies

org.ow2.sat4j.csp from group org.ow2.sat4j (version 2.3.5)

Group: org.ow2.sat4j Artifact: org.ow2.sat4j.csp
Show all versions Show documentation Show source

1 downloads

Artifact org.ow2.sat4j.csp
Group org.ow2.sat4j
Version 2.3.5
Last update 25. May 2013
Organization not specified
URL Not specified
License not specified
Dependencies amount 3
Dependencies org.ow2.sat4j.pb, org.ow2.sat4j.csp.xmlparser, js,
There are maybe transitive dependencies!

org.ow2.sat4j.csp.xmlparser from group org.ow2.sat4j (version 2.3.5)

Group: org.ow2.sat4j Artifact: org.ow2.sat4j.csp.xmlparser
Show all versions Show documentation Show source

0 downloads

Artifact org.ow2.sat4j.csp.xmlparser
Group org.ow2.sat4j
Version 2.3.5
Last update 25. May 2013
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

org.sat4j.pom from group org.sat4j (version 2.3.1)

The aim of the SAT4J library is to provide an efficient library of SAT solvers in Java. Compared to the OpenSAT project, the SAT4J library targets first users of SAT "black boxes", willing to embed SAT technologies into their application without worrying about the details. Since we use the library for our own research, it is also possible for SAT researchers to use it as a basis for their work.

Group: org.sat4j Artifact: org.sat4j.pom
Show all versions

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact org.sat4j.pom
Group org.sat4j
Version 2.3.1
Last update 31. October 2011
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!

org.sat4j.maxsat from group org.sat4j (version 2.3.1)

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

7 downloads

Artifact org.sat4j.maxsat
Group org.sat4j
Version 2.3.1
Last update 31. October 2011
Organization not specified
URL Not specified
License not specified
Dependencies amount 3
Dependencies org.sat4j.core, org.sat4j.pb, commons-cli,
There are maybe transitive dependencies!

org.sat4j.csp from group org.sat4j (version 2.3.0)

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

0 downloads

Artifact org.sat4j.csp
Group org.sat4j
Version 2.3.0
Last update 30. March 2011
Organization not specified
URL Not specified
License not specified
Dependencies amount 3
Dependencies org.sat4j.core, org.sat4j.csp.xmlparser, js,
There are maybe transitive dependencies!

org.sat4j.csp.xmlparser from group org.sat4j (version 2.3.0)

Group: org.sat4j Artifact: org.sat4j.csp.xmlparser
Show all versions Show documentation Show source

0 downloads

Artifact org.sat4j.csp.xmlparser
Group org.sat4j
Version 2.3.0
Last update 30. March 2011
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

org.sat4j.sat from group org.sat4j (version 2.3.0)

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

2 downloads

Artifact org.sat4j.sat
Group org.sat4j
Version 2.3.0
Last update 30. March 2011
Organization not specified
URL Not specified
License not specified
Dependencies amount 4
Dependencies org.sat4j.core, org.sat4j.pb, commons-beanutils, commons-cli,
There are maybe transitive dependencies!

Page 1 from 1 (items total 7)