This repository has been archived on 2025-03-06. You can view files and clone it, but cannot push or open issues or pull requests.

Jip J. Dekker 1233db3f37 Adds metadata for the MiniZinc grammar

2015-11-19 23:05:05 +01:00

..

mzn.cson

Adds metadata for the MiniZinc grammar

2015-11-19 23:05:05 +01:00