Indexed Artifacts (24.7M)

Popular Categories

Artifacts using SAT4J SAT (2)

Sort: popular | newest
set_query_lib contains space-efficient data structures for quickly counting records which share common attributes
Last Release on Mar 25, 2013
A Java API for Meta-CSP based reasoning
Last Release on Sep 10, 2018