dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
fork atom
bytecode-benchmarks / prototype / tests / examples / halfreif.exp2
at develop 229 B view raw
1x = 0; 2y = 11; 3b1 = false; 4b2 = true; 5---------- 6========== 7