Closed cyderize closed 10 months ago
MiniZinc uses this file to generate the reference documentation, and it makes more sense to maintain it here than to have a separate version with docs in libminizinc.
libminizinc
MiniZinc uses this file to generate the reference documentation, and it makes more sense to maintain it here than to have a separate version with docs in
libminizinc
.