Indexed Artifacts (28.1M)

Popular Categories

Home » org.ow2.sat4j » org.ow2.sat4j.maxsat » 2.3.5 » Usages

Artifacts using org.ow2.sat4j.maxsat version 2.3.5

1. UEL Sat3 usages

de.tu-dresden.inf.lat.uel » uel-satApacheLGPL

UEL Sat
Last Release on Apr 11, 2016

2. SAT4J SAT2 usages

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

SAT4J SAT
Last Release on Dec 16, 2020

3. Gapt

at.logic.gapt » gaptGPL

General Architecture for Proof Theory
Last Release on Oct 10, 2016

4. Jsatbuilder

hu.webarticum » jsatbuilderApache

SAT formula builder with constraint dependency tracking, written in Java
Last Release on Aug 25, 2018