Download org.ow2.sat4j JAR files 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!

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.pb from group org.ow2.sat4j (version 2.3.6)

The pb library contains algorithms for solving pseudo boolean optimization problems.

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

1 downloads

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

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

5 downloads

Artifact org.ow2.sat4j.core
Group org.ow2.sat4j
Version 2.3.6
Last update 14. December 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
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!

Page 1 from 1 (items total 8)