Boolean Constraint Solving in Prolog
bdd
prolog
constraints
constraint-programming
sat
clp
independent-sets
matchsticks-puzzle
satisfiability
-
Updated
Sep 10, 2023 - Prolog