Copris is a constraint programming DSL (Domain-Specific Language) embedded in Scala. It uses Sugar as a default back-end constraint solver which is an award-winning solver in global categories of 2008 and 2009 International CSP Solver Competitions. You can also use SMT solvers supporting QF_LIA theory (such as Z3) and JSR 331 solvers (such as Choco) from Copris.
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Soh, Takehide; Tamura, Naoyuki; Banbara, Mutsunori: Scarab: a rapid prototyping tool for SAT-based constraint programming systems (2013)