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