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 9d00ee7597 Fix title typo
2016-11-24 18:22:53 +01:00

70 B
Raw Blame History

ChronoZinc

Small wrapper for mzn-fzn to benchmark MiniZinc models