FaCiLe: A Functional Constraint Library
Release 1.0

N. Barnier   P. Brisset

July 10, 2001

• Preface
• Foreword
  • Portability
  • FaCiLe Structure and Naming Conventions
  • Compilation with FaCiLe
  • Availability
  • Installation
  • Examples

Part I
User's Manual

• Getting Started
  • Basics
  • A Classic Example
• Building Blocks
  • Domains
  • Variables
  • Arithmetic Expressions
  • Constraints
  • Search
  • Optimization
• Advanced Usage
  • Search Control
  • Constraints Control
  • User's Constraints
  • User's Goals

Part II
Reference Manual

• Modules
  • Module Alldiff: the "All Different" Constraint
  • Module Arith: Arithmetic Expressions over Variables of Type Var.Fd.t
  • Module Cstr: Posting Constraints and Building New Ones
  • Module Domain: Domain Operations
  • Module FdArray: Constraints over Arrays of Variables
  • Module Gcc: Global Cardinality Constraint (a.k.a. Distribute)
  • Module Goals: Building and Solving Goals
  • Module Interval: Variable Membership of an Interval
  • Module Reify: Constraints Reification
  • Module Sorting: Sorting Constraint
  • Module Stak: Global Stack of Goals, Backtrackable Operations
  • Module Var: Constrained, Attributed, Finite Domain Variables
  • Module Easy
• Index
• References

This document was translated from L^AT_EX by H^EV^EA and H^AC^HA.