dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / gecode_on_replay / gecode / flatzinc / exampleplugin / test_myplugin.fzn
at develop 48 B view raw
1solve ::gecode_search(myplugin(1,2,3)) satisfy;