We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1e93065
The version of the MiniZinc Presolver extension used in the CPAIOR paper "Auto-Tabling for Subproblem Presolving in MiniZinc"