Home
last modified time | relevance | path

Searched defs:FlatZinc (Results 1 – 25 of 108) sorted by relevance

12345

/dports/math/minizinc/libminizinc-2.5.5/docs/en/
H A Dfzn-spec.rst24 Comments
29 Types
153 Values and expressions
181 FlatZinc models
257 Predicate declarations
296 Parameter declarations
321 Variable declarations
353 Constraints
379 Solve item
415 Annotations
/dports/math/gecode/gecode-0916a1a/gecode/flatzinc/
H A Dplugin.hh42 namespace Gecode { namespace FlatZinc { namespace
H A Dregistry.hh41 namespace Gecode { namespace FlatZinc { namespace
/dports/math/gecode/gecode-0916a1a/test/flatzinc/
H A Dno_warn_empty_domain.cpp36 namespace Test { namespace FlatZinc { namespace
H A Dpacking.cpp36 namespace Test { namespace FlatZinc { namespace
H A DsingHoist2.cpp36 namespace Test { namespace FlatZinc { namespace
H A Dsudoku.cpp36 namespace Test { namespace FlatZinc { namespace
H A Dtimetabling.cpp36 namespace Test { namespace FlatZinc { namespace
H A D2dpacking.cpp36 namespace Test { namespace FlatZinc { namespace
H A Dalpha.cpp36 namespace Test { namespace FlatZinc { namespace
H A Dbattleships1.cpp36 namespace Test { namespace FlatZinc { namespace
H A Dbattleships10.cpp36 namespace Test { namespace FlatZinc { namespace
H A Dbattleships3.cpp36 namespace Test { namespace FlatZinc { namespace
H A Dbattleships4.cpp36 namespace Test { namespace FlatZinc { namespace
H A Dbool_clause.cpp36 namespace Test { namespace FlatZinc { namespace
H A Dempty_domain_1.cpp36 namespace Test { namespace FlatZinc { namespace
H A Dfactory_planning_instance.cpp36 namespace Test { namespace FlatZinc { namespace
H A Dint_set_as_type1.cpp36 namespace Test { namespace FlatZinc { namespace
H A Dint_set_as_type2.cpp36 namespace Test { namespace FlatZinc { namespace
H A Doutput_test.cpp36 namespace Test { namespace FlatZinc { namespace
H A Dperfsq2.cpp36 namespace Test { namespace FlatZinc { namespace
H A Dproduct_fd.cpp36 namespace Test { namespace FlatZinc { namespace
H A Dquasigroup_qg5.cpp36 namespace Test { namespace FlatZinc { namespace
H A Dsat_arith1.cpp36 namespace Test { namespace FlatZinc { namespace
H A Dshared_array_element.cpp36 namespace Test { namespace FlatZinc { namespace

12345