This PR updates the parser version to use the new AST, which actually allows the parsing of the entire FlatZinc specification. This meant redoing structure identification for all the constraints, so this is a big PR.
This also made some small tweaks to the InvariantGraphBuilder and InvariantGraph classes, which means after this PR, the solver can run magic square 🎉.
This PR updates the parser version to use the new AST, which actually allows the parsing of the entire FlatZinc specification. This meant redoing structure identification for all the constraints, so this is a big PR.
This also made some small tweaks to the
InvariantGraphBuilderandInvariantGraphclasses, which means after this PR, the solver can run magic square 🎉.