Indexed Artifacts (28.1M)

Popular Categories

Artifacts using org.ow2.sat4j.maxsat version 2.3.5

UEL Sat
Last Release on Apr 11, 2016
SAT4J SAT
Last Release on Dec 16, 2020
General Architecture for Proof Theory
Last Release on Oct 10, 2016
SAT formula builder with constraint dependency tracking, written in Java
Last Release on Aug 25, 2018