This project tries to model a high-level constraint language in Curry. The motivation for this abstraction origins in the paper "Towards B as a High-Level Constraint Modelling Language Solving The Jobs Puzzle Challenge" by Michael Leuschel and David Schneider.
ichistmeinname / puzzles Goto Github PK
View Code? Open in Web Editor NEWConstraint Modelling in Curry