Logo
2.7.0
The MiniZinc Handbook
  • 1. Overview
  • 2. A MiniZinc Tutorial
  • 3. User Manual
  • 4. Reference Manual
    • 4.1. Specification of MiniZinc
    • 4.2. The MiniZinc library
      • 4.2.1. Standard Library
      • 4.2.2. Global constraints
      • 4.2.3. FlatZinc builtins
      • 4.2.4. Additional declarations for Gecode
        • 4.2.4.1. Additional Gecode search annotations
        • 4.2.4.2. Additional Gecode constraints
      • 4.2.5. Additional declarations for Chuffed
      • 4.2.6. MiniZincIDE tools
    • 4.3. Interfacing Solvers to Flatzinc
    • 4.4. Machine-readable JSON output format
The MiniZinc Handbook
  • Docs »
  • 4. Reference Manual »
  • 4.2. The MiniZinc library »
  • 4.2.4. Additional declarations for Gecode

4.2.4. Additional declarations for Gecode¶

These annotations and predicates are available for the Gecode solver. In order to use them in a model, include the file “gecode.mzn”.

  • 4.2.4.1. Additional Gecode search annotations
    • activity_max
    • activity_min
    • activity_size_max
    • activity_size_min
    • afc_max
    • afc_min
    • afc_size_max
    • afc_size_min
    • bool_default_search
    • float_default_search
    • int_default_search
    • random
    • relax_and_reconstruct
    • set_default_search
  • 4.2.4.2. Additional Gecode constraints
    • among_seq
    • circuit_cost
    • circuit_cost_array
    • gecode_array_set_element_intersect
    • gecode_array_set_element_intersect_in
    • gecode_array_set_element_partition
Next Previous

© Copyright 2016, 2017, 2018, 2019, 2020 Peter J. Stuckey, Kim Marriott, Guido Tack.

Creative Commons License