GitHub repository: vsahil/XCSP3_to_C
Primary language: C++
Created: 2019-08-27T14:52:32Z
Description: Implementation of the paper translating XCSP3 benchmarks to C code