FaCiLe: A Functional Constraint Library
Release beta-0.1

N. Barnier   P. Brisset

January 29, 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
  • Solving
  • Optimization
• Advanced Usage
  • Search Control
  • Constraints Control
  • User's Constraints
  • User's Goal

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 (aka distribute)
  • Module Goals : building and solving goals
  • Module Interval : variable membership of an interval
  • Module Opti : Branch and Bound optimization
  • 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.