dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
fork atom
bytecode-benchmarks / prototype / tests / examples / steiner-triples.exp10
at develop 77 B view raw
1 {3, 5, 6} {3, 4, 7} {2, 5, 7} {2, 4, 6} {1, 6, 7} {1, 4, 5} 1..3 2----------