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