A set of benchmarks to compare a new prototype MiniZinc implementation
at develop 48 B view raw
1radiation: 2B / K = 21 / 7 3---------- 4==========