Facile
Fcl_alldiff
the "All Different" Constraint
Fcl_arith
Arithmetic Expressions and Constraints
Fcl_boolean
cstr bools sum returns a constraint ensuring that sum is equal to the sum of the boolean variables of the array bools.
Fcl_conjunto
Constraints on Finite Sets
Fcl_cstr
Posting Constraints and Building New Ones
Fcl_data
Bactrackable Data Structures
Fcl_debug
Fcl_domain
Domain Operations
Fcl_expr
Arithmetic Expressions over Variables of Type Var.Fd.t
Fcl_fdArray
Constraints over Arrays of Variables
Fcl_float
Fcl_gcc
Global Cardinality Constraint
Fcl_genesis
Fcl_goals
Building and Solving Goals
Fcl_interval
Variable Membership to an Interval
Fcl_invariant
Backtrackable Invariant References
Fcl_linear
shift_cstr y x d returns the constraint y = x+d
Fcl_misc
Fcl_nonlinear
Fcl_opti
Fcl_reify
Constraints Reification
Fcl_setDomain
Integer Set Domain Operations
Fcl_sorting
Sorting Constraint
Fcl_stak
Global Stack of Goals, Backtrackable Operations
Fcl_var
Constrained, Attributed, Finite Domain Variables