A set of benchmarks to compare a new prototype MiniZinc implementation
dekker.one
1#define MZN_VERSION_MAJOR "${libminizinc_VERSION_MAJOR}"
2
3#define MZN_VERSION_MINOR "${libminizinc_VERSION_MINOR}"
4
5#define MZN_VERSION_PATCH "${libminizinc_VERSION_PATCH}"
6
7#define MZN_BUILD_REF "${BUILD_REF}"
8
9#cmakedefine HAS_DECLSPEC_THREAD
10
11#cmakedefine HAS_ATTR_THREAD
12
13#cmakedefine HAS_PIDPATH
14
15#cmakedefine HAS_GETMODULEFILENAME
16
17#cmakedefine HAS_GETFILEATTRIBUTES
18
19#cmakedefine HAS_MEMCPY_S
20
21#cmakedefine COMPILE_BOOST_MINCUT
22
23#cmakedefine HAS_DLFCN_H
24
25#cmakedefine HAS_WINDOWS_H
26
27#cmakedefine GUROBI_PLUGIN
28
29#cmakedefine CPLEX_PLUGIN