Indexed Artifacts (25.4M)

Popular Categories

Artifacts using SAT4J Maxsat (5)

Sort: popular | newest
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
set_query_lib contains space-efficient data structures for quickly counting records which share common attributes
Last Release on Mar 25, 2013
SAT formula builder with constraint dependency tracking, written in Java
Last Release on Aug 25, 2018