/XCSP3_to_C

Implementation of the paper translating XCSP3 benchmarks to C code

Primary LanguageC++

No issues in this repository yet.