Module Facile

module Facile: sig .. end

module Domain: sig .. end
module SetDomain: sig .. end
module Stak: sig .. end
module Data: sig .. end
module Cstr: sig .. end
module Var: sig .. end
module Reify: sig .. end
module Alldiff: sig .. end
module Goals: sig .. end
module Sorting: sig .. end
module Boolean: sig .. end
module Expr: sig .. end
module Arith: sig .. end
module Invariant: sig .. end
module Interval: sig .. end
module FdArray: sig .. end
module Gcc: sig .. end
module Opti: sig .. end
module Conjunto: sig .. end
module Easy: sig .. end