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
A
T
E
X by
H
E
V
E
A and H
A
C
H
A
.