dekker.one / bytecode-benchmarks
This repository has no description
Star
Fork 0
Watch
bytecode-benchmarks mzn-rewriting community-detection
6 files
community-detection.mzn
dolphin.s62.k3.dzn
mexican.s26.k4.dzn
Sampson.s10.k3.dzn
Strike.s2.k8.dzn
Strike.s6.k5.dzn