This repository has been archived on 2025-03-06 . You can view files and clone it, but cannot push or open issues or pull requests.
Description
A set of benchmarks to compare a new prototype MiniZinc implementation
Languages
C++
85.8%
C
8.2%
Python
4%
CMake
1.4%
Shell
0.5%