Releases: cp-profiler/cp-profiler-deprecated-
Releases · cp-profiler/cp-profiler-deprecated-
0.2
prototype version
To run this prototype, execute MiniZincIDE.sh. Open one of the models in the test-models directory and press "Run".
A special version of the Gecode solver is bundled with the profiler and the MiniZinc IDE.
In the configuration tab make sure the solver is set to "Gecode with profiling" (should be set by default).
Otherwise, add the solver manually:
In the dialog MiniZinc->Preferences->Solver->Add new:
Executable should point to the included fzn-gecode-mod executable;
MiniZinc library path should be set to "-Ggecode";
MiniZinc path should point to the included minizinc-2.0.2/bin directory.
(If you encounter a compilation error, ensure the MZN_STDLIB_DIR environment variable is unset.)