Casper documentation

Casper is a modeling language for constraint programming with declarative search strategy speci-fication, in the line of the Rules2CP language [5]. The Casper compiler transforms Casper models into GNU or Sicstus Prolog programs with FD constraints [3, 2] or Java programs using either the Choco constraint solver [9] or the MiniSAT solver. Search strategies are specified by, on th