Indexed Artifacts (28.2M)

Popular Categories

Artifacts using org.ow2.sat4j.maxsat version 2.3.3

SAT4J SAT
Last Release on Dec 16, 2020
set_query_lib contains space-efficient data structures for quickly counting records which share common attributes
Last Release on Mar 25, 2013