choco-parsers is an extension that aims at dealing with models to various format.
It provides a parser for the FlatZinc language, a low-level solver input language that is the target language for MiniZinc,
a parser for XCSP3, an intermediate integrated XML-based format,
and a parser for DIMACS CNF, the SAT solver competitions input file format.
parsers
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||