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