arminnh/ma1-constraint-logic-programming

Puzzle solving with ECLiPse CLP and Constraint Handling Rules

PrologMIT