software/mza/tests/unit/evaluation/minizinc/regression/bool2float_let.mzn at develop · dekker.one/on-restart-benchmarks

this repo has no description

on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / regression / bool2float_let.mzn

at develop 134 B view raw

 1% RUNS ON mzn20_fd
 2% RUNS ON mzn-fzn_fd
 3constraint
 4     let {
 5      var float: x = true
 6     }
 7     in
 8     x >= 0.0
 9;
10solve satisfy;