A set of benchmarks to compare a new prototype MiniZinc implementation
dekker.one
1*.o
2*~
3mzn2fzn
4solns2out
5makefile
6Makefile
7include/minizinc/parser.tab.hh
8lib/lexer.yy.cpp
9lib/parser.tab.cpp
10core
11build/
12res/
13vendor/
14CMakeCache.txt
15CMakeFiles
16CMakeScripts
17cmake_install.cmake
18install_manifest.txt
19libminizinc.build
20libminizinc.xcodeproj
21CMakeLists.txt.user
22*.bak
23*.out
24*.err
25.vscode/c_cpp_properties.json
26.vscode/ipch