A generalized CSP (Constraint Satisfaction Problem) solver.
Isomorphic to the Python CSP solver. Supports:
- Backtracking search with configurable pruning and variable ordering
- AC-3 (Maintaining Arc Consistency) propagation
- Forward checking
- AC-FC hybrid
- Conflict-directed backjumping
- Lattice domains for monotonic fixed-point propagation