SAT formula builder with constraint dependency tracking written in Java
java library constraint-programming dependency-tracker constraint-propagation sat-solver-application
-
Updated
Sep 2, 2023 - Java