constraint-satisfaction
Finite-state automata pipeline enforcer for agent constraint satisfaction
A lightweight CNF SAT constraint encoder library