1024">
Learn
Packages
Community
Blog
Playground
Get Started
Learn
Packages
Community
Blog
Playground
Get started
facile
A Functional Constraint Library implemented in Objective Caml.
Version
1.1.4
1.1
Overview
Documentation
1024">
IN THIS PACKAGE
library
facile
module
Facile
module
Alldiff
module
Arith
module
Boolean
module
Conjunto
module
Cstr
module
Data
module
Array
module
Hashtbl
module
Debug
module
Domain
module
Easy
module
Fd
module
Expr
module
FdArray
module
Gcc
module
Goals
module
Array
module
Conjunto
module
GlArray
module
GlList
module
List
module
Interval
module
Invariant
module
Array
module type
FD
module
Fd
module
SetFd
module
Misc
module
Operators
module
Opti
module
Reify
module
SetDomain
module
S
module
Sorting
module
Stak
module
Var
module type
ATTR
module
Attr
module type
BASICFD
module type
FD
module
Fd
module
SetAttr
module
SetFd
Libraries
This package provides the following libraries (via ocamlobjinfo):
facile
Documentation:
Facile
ON THIS PAGE
Libraries
facile