Indexed Artifacts (24.6M)

Popular Categories

Group: OW2 SAT4J

Sort: popular | newest

1. SAT4J Core30 usages

org.ow2.sat4j » org.ow2.sat4j.coreEPLLGPL

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.
Last Release on Dec 16, 2020

2. SAT4J Pseudo15 usages

org.ow2.sat4j » org.ow2.sat4j.pbEPLLGPL

The pb library contains algorithms for solving pseudo boolean optimization problems.
Last Release on Dec 16, 2020

3. SAT4J Maxsat5 usages

org.ow2.sat4j » org.ow2.sat4j.maxsatEPLLGPL

SAT4J Maxsat
Last Release on Dec 16, 2020

4. SAT4J SAT2 usages

org.ow2.sat4j » org.ow2.sat4j.satEPLLGPL

SAT4J SAT
Last Release on Dec 16, 2020

5. SAT4J CSP1 usages

org.ow2.sat4j » org.ow2.sat4j.cspEPLLGPL

SAT4J CSP
Last Release on May 25, 2013
SAT4J CSP XML Parser
Last Release on May 25, 2013

7. SAT4J

org.ow2.sat4j » org.ow2.sat4j.pomEPLLGPL

Sat4j is a full featured boolean reasoning library designed to bring state-of-the-art SAT technologies to the Java Virtual Machine.
Last Release on Dec 16, 2020