Skip to content

Accept empty lists on the DZN grammar.#198

Open
vitor1001 wants to merge 1 commit intoMiniZinc:developfrom
vitor1001:develop
Open

Accept empty lists on the DZN grammar.#198
vitor1001 wants to merge 1 commit intoMiniZinc:developfrom
vitor1001:develop

Commits

Commits on Mar 7, 2025