pyparsing parser for MiniZinc

[Paul Chisholm]

Maybe a bit off topic, but in case anyone is interested, I have put together a MiniZinc parser using the Python pyparsing framework. See

https://github.com/paulch42/MiniZinc

[Erik]

Nice! I've been involved in something similar in the past (closed source) where we used a lark parser to inline and generate cross-reference of MiniZinc model files and documentation written in .rst.

Keeping it up to date with newer syntax and getting to work with more "advanced" syntax was challenging

You may be interested in this issue/discussion:

https://github.com/MiniZinc/libminizinc/issues/861

[Jip Dekker]

As an alternative, I'll note that we have a tree-sitter parser for MiniZinc: https://github.com/shackle-rs/shackle/tree/develop/parsers/tree-sitter-minizinc

A big selling point for us is that it is supposed to work for a whole range of languages, including Python.

[Paul Chisholm]

Nice, I wasn't aware of tree-sitter. I'll have to take a closer look, but one question. I note in the MiniZinc tree-sitter parser there are both grammar.json and grammar.js files, and to some extent they seem to cover the same ground. What is the different purpose of each?

[Jip Dekker]

The grammar.json is one of the generated files. The linked directory in the repository follows the standard tree-sitter structure. Their website should have the information about how to use the tree sitter grammar for you purpose: https://tree-sitter.github.io/tree-sitter/