Documentation · facile 1.1.4 · OCaml Packages

facile

A Functional Constraint Library implemented in Objective Caml.

Version

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