| 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 |
| 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 |