MiniZinc IDE: Untitled*
    Selected Solver

    Default

Solutions
Inputs

int