https://iris.gecode.dev/https://iris.gecode.dev/formats/https://iris.gecode.dev/formats/dimacs-cnf/https://iris.gecode.dev/formats/job-shop/https://iris.gecode.dev/formats/nonogram/https://iris.gecode.dev/formats/sudoku/https://iris.gecode.dev/formats/tsplib/https://iris.gecode.dev/formats/tsptw/https://iris.gecode.dev/guides/https://iris.gecode.dev/guides/errors/https://iris.gecode.dev/guides/instances/https://iris.gecode.dev/guides/parameters/https://iris.gecode.dev/guides/patterns/https://iris.gecode.dev/guides/performance/https://iris.gecode.dev/guides/records-and-checks/https://iris.gecode.dev/guides/sections/https://iris.gecode.dev/introduction/https://iris.gecode.dev/playground/https://iris.gecode.dev/specification/https://iris.gecode.dev/specification/0.1/https://iris.gecode.dev/specification/0.1/01-introduction/https://iris.gecode.dev/specification/0.1/02-notation/https://iris.gecode.dev/specification/0.1/03-data-model/https://iris.gecode.dev/specification/0.1/04-input/https://iris.gecode.dev/specification/0.1/05-reader-specs/https://iris.gecode.dev/specification/0.1/06-types-and-values/https://iris.gecode.dev/specification/0.1/07-structure/https://iris.gecode.dev/specification/0.1/08-expressions-and-checks/https://iris.gecode.dev/specification/0.1/09-params-and-instances/https://iris.gecode.dev/specification/0.1/10-work-budgets/https://iris.gecode.dev/specification/0.1/appendix-a-grammar/https://iris.gecode.dev/specification/0.1/appendix-b-dzn/https://iris.gecode.dev/specification/0.1/appendix-c-differences/https://iris.gecode.dev/specification/0.1/appendix-d-pinned-details/https://iris.gecode.dev/specification/0.1/errors/https://iris.gecode.dev/specification/0.1/grammar/https://iris.gecode.dev/tools/https://iris.gecode.dev/tools/agent-skill/https://iris.gecode.dev/tools/cli/https://iris.gecode.dev/tools/editors/https://iris.gecode.dev/tools/formatter/https://iris.gecode.dev/tools/lsp/https://iris.gecode.dev/tutorial/https://iris.gecode.dev/tutorial/dimacs/https://iris.gecode.dev/tutorial/job-shop/https://iris.gecode.dev/tutorial/tsplib/https://iris.gecode.dev/using/other-implementations/https://iris.gecode.dev/using/rust/