FaCiLe: A Functional Constraint Library
Release 1.1
N.
Barnier
P.
Brisset
September 8, 2004
Preface
Foreword
Portability
FaCiLe Structure and Naming Conventions
Compilation with FaCiLe
Availability
Installation
Examples
Table of Contents
Part I
User's Manual
Getting Started
Basics
A Classic Example
Building Blocks
Domains
Variables
Arithmetic Expressions
Constraints
Search
Optimization
Constraint Programs on Finite Sets
Advanced Usage
Search Control
Constraints Control
User's Constraints
User's Goals
Backtrackable Invariant References -- BIRs
Part II
Reference Manual
Modules
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
.