hu.webarticum:jsatbuilder (maven): SAT formula builder with constraint dependency tracking, written in Java
Keywords: constraint-programming|constraint-propagation|dependency-tracker|java|library|sat-solver-application