CoPTIC: Constraint Programming Translated Into C

CoPTIC is a constraint programming system. Unlike most other constraint programming systems, you do not need to learn a specialist constraint programming language to use CoPTIC. Instead, you can write constraint models in C. CoPTIC repurposes the C program verification tool CBMC to solve the constraints in your model and generate a solution.

This deposit includes the source code for CoPTIC 1.0.0 and its dependencies, as well as models for the first 14 problems from CSPLib. It also includes scripts to run benchmarks, comparing CoPTIC against SAT-based solvers for Essence and MiniZinc.