constraint-satisfaction
Declarative rule graphs for AI agent policy and constraint enforcement
A lightweight CNF SAT constraint encoder library