dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / general / unicode_file_name_μ.mzn
at develop 130 B view raw
1/*** 2!Test 3solvers: [gecode] 4expected: !Result 5***/ 6 7%% Test to ensure a unicode filename can be used in MiniZinc 8 9solve satisfy;