A prototype implementation of SATGC, where CSP is embedded in SAT.