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