When running minisearch on its examples, some fail due to the same evaluation error:
examples/cvrp-lns-specialised.mzn:318:
MiniZinc: evaluation error: could not find solution for unknown identifier: X_INTRODUCED_90. Don't forget to add all identifiers you use as arguments of sol() in the output statement.
examples/golomb_lns.mzn
share/minizinc/std/minisearch.mzn:211:
MiniZinc: evaluation error: could not find solution for unknown identifier: X_INTRODUCED_1. Don't forget to add all identifiers you use as arguments of sol() in the output statement.
examples/golomb_lns_bab.mzn:50:
MiniZinc: evaluation error: could not find solution for unknown identifier: X_INTRODUCED_1. Don't forget to add all identifiers you use as arguments of sol() in the output statement.
examples/golomb_lns_nested_timeout.mzn:50:
MiniZinc: evaluation error: could not find solution for unknown identifier: X_INTRODUCED_1. Don't forget to add all identifiers you use as arguments of sol() in the output statement.
examples/radiation-andor.mzn:122:
MiniZinc: evaluation error: could not find solution for unknown identifier: X_INTRODUCED_0. Don't forget to add all identifiers you use as arguments of sol() in the output statement.
examples/knapsack_stochastic_andor.mzn:109:
MiniZinc: evaluation error: could not find solution for unknown identifier: X_INTRODUCED_0. Don't forget to add all identifiers you use as arguments of sol() in the output statement.
examples/knapsack_stochastic_andor_fctScope.mzn:108:
MiniZinc: evaluation error: could not find solution for unknown identifier: X_INTRODUCED_0. Don't forget to add all identifiers you use as arguments of sol() in the output statement.
How to reproduce
Build the minisearch binary package and run:
minisearch-0.1.0b1-Darwin$ for i in examples/*.mzn; do echo $i; ./bin/minisearch --solver fzn-gecode --stdlib-dir share/minizinc $i; done
Versions
MiniZinc including solvers: latest binary distribution for macOS
minisearch: built from GitHub, Latest commit 5f48d82 on 16 Apr 2016
$ uname -a
Darwin neptune.local 17.3.0 Darwin Kernel Version 17.3.0: Thu Nov 9 18:09:22 PST 2017; root:xnu-4570.31.3~1/RELEASE_X86_64 x86_64
When running minisearch on its examples, some fail due to the same evaluation error:
How to reproduce
Build the minisearch binary package and run:
minisearch-0.1.0b1-Darwin$ for i in examples/*.mzn; do echo $i; ./bin/minisearch --solver fzn-gecode --stdlib-dir share/minizinc $i; doneVersions
MiniZinc including solvers: latest binary distribution for macOS
minisearch: built from GitHub, Latest commit 5f48d82 on 16 Apr 2016