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