Dekker1/chronozinc
Archived
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
This repository has been archived on 2025-03-03. You can view files and clone it, but cannot push or open issues or pull requests.
chronozinc/README.md
Jip J. Dekker 5e6163df4b Initial commit
2016-11-24 18:05:15 +01:00

69 B
Raw Blame History

ChonoZinc

Small wrapper for mzn-fzn to benchmark MiniZinc models