Download JAR files tagged by sat4j with all dependencies

org.ow2.sat4j.csppb from group org.ow2.sat4j (version 0.1.0)

A CSP solver based on the Sat4j platform.

Group: org.ow2.sat4j Artifact: org.ow2.sat4j.csppb
Show documentation Show source

0 downloads

Artifact org.ow2.sat4j.csppb
Group org.ow2.sat4j
Version 0.1.0
Last update 23. August 2022
Organization not specified
URL https://gitlab.ow2.org/sat4j/sat4j-csp-pb
License GNU Lesser General Public License, Version 3
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

jmpi-solver-sat4j from group net.sf.jmpi (version 0.6)

The solver interface for SAT4J

Group: net.sf.jmpi Artifact: jmpi-solver-sat4j
Show all versions Show documentation Show source

1 downloads

Artifact jmpi-solver-sat4j
Group net.sf.jmpi
Version 0.6
Last update 22. April 2015
Organization not specified
URL http://jmpi.sf.net
License GNU Lesser General Public License
Dependencies amount 3
Dependencies org.ow2.sat4j.core, org.ow2.sat4j.pb, jmpi-main,
There are maybe transitive dependencies!

org.ow2.sat4j.sat from group org.ow2.sat4j (version 2.3.6)

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

2 downloads

Artifact org.ow2.sat4j.sat
Group org.ow2.sat4j
Version 2.3.6
Last update 14. December 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 6
Dependencies org.ow2.sat4j.core, org.ow2.sat4j.pb, org.ow2.sat4j.maxsat, commons-beanutils, commons-cli, jchart2d,
There are maybe transitive dependencies!

org.ow2.sat4j.maxsat from group org.ow2.sat4j (version 2.3.6)

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

4 downloads

Artifact org.ow2.sat4j.maxsat
Group org.ow2.sat4j
Version 2.3.6
Last update 14. December 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 3
Dependencies org.ow2.sat4j.core, org.ow2.sat4j.pb, commons-cli,
There are maybe transitive 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

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!

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!

Page 1 from 2 (items total 12)