yacs.solver.fdsolver.consistency
Classes
AC3Solver
ACSolver
BinaryArc
HyperArc
NCSolver