A general pattern-based solver of finite Constraint Satisfaction problems
Primary LanguageCLIPSGNU General Public License v3.0GPL-3.0