https://fznso.minizinc.dev/https://fznso.minizinc.dev/contributing/abi-change/https://fznso.minizinc.dev/contributing/build-and-test/https://fznso.minizinc.dev/contributing/registry-entry/https://fznso.minizinc.dev/guides/implementing-a-solver/https://fznso.minizinc.dev/guides/incremental-solving/https://fznso.minizinc.dev/guides/installing-solvers/https://fznso.minizinc.dev/guides/using-a-solver/https://fznso.minizinc.dev/reference/https://fznso.minizinc.dev/reference/abi-entry-points/https://fznso.minizinc.dev/reference/abi-types/https://fznso.minizinc.dev/reference/cpp-export/https://fznso.minizinc.dev/reference/cpp/https://fznso.minizinc.dev/reference/python/https://fznso.minizinc.dev/reference/rust/https://fznso.minizinc.dev/registry/https://fznso.minizinc.dev/registry/constraints/arithmetic/https://fznso.minizinc.dev/registry/constraints/array/https://fznso.minizinc.dev/registry/constraints/graph/https://fznso.minizinc.dev/registry/constraints/ordering/https://fznso.minizinc.dev/registry/constraints/scheduling/https://fznso.minizinc.dev/registry/constraints/set/https://fznso.minizinc.dev/registry/message-scopes/https://fznso.minizinc.dev/registry/objectives/https://fznso.minizinc.dev/registry/options/https://fznso.minizinc.dev/registry/statistics/https://fznso.minizinc.dev/spec/abi-stability/https://fznso.minizinc.dev/spec/discovery/https://fznso.minizinc.dev/spec/entry-points/https://fznso.minizinc.dev/spec/lifetimes-and-ownership/https://fznso.minizinc.dev/spec/model/https://fznso.minizinc.dev/spec/naming-and-versioning/https://fznso.minizinc.dev/spec/overview/https://fznso.minizinc.dev/spec/running/https://fznso.minizinc.dev/spec/threading/https://fznso.minizinc.dev/spec/types-and-values/https://fznso.minizinc.dev/start/concepts/https://fznso.minizinc.dev/start/quickstart/https://fznso.minizinc.dev/start/what-is-fznso/