Fcl_genesis
Fcl_debug
Fcl_misc
Fcl_float
Fcl_stak

Global Stack of Goals, Backtrackable Operations

Fcl_domain

Domain Operations

Fcl_setDomain

Integer Set Domain Operations

Fcl_data

Bactrackable Data Structures

Fcl_cstr

Posting Constraints and Building New Ones

Fcl_var

Constrained, Attributed, Finite Domain Variables

Fcl_reify

Constraints Reification

Fcl_invariant

Backtrackable Invariant References

Fcl_boolean
Fcl_alldiff

the "All Different" Constraint

Fcl_linear
Fcl_nonlinear
Fcl_expr

Arithmetic Expressions over Variables of Type Var.Fd.t

Fcl_arith

Arithmetic Expressions and Constraints

Fcl_interval

Variable Membership to an Interval

Fcl_gcc

Global Cardinality Constraint

Fcl_fdArray

Constraints over Arrays of Variables

Fcl_conjunto

Constraints on Finite Sets

Fcl_sorting

Sorting Constraint

Fcl_goals

Building and Solving Goals

Fcl_opti
Facile