Module Dalton_templates

module Dalton_templates: sig  end

Templates of module parameters.

This unit provides templates of modules which may be used as argument for the solver's functor.

module Print: Dalton_sig.PRINT

The module Print provides a standard style for pretty-printing constraints.

module DrawGraphics: sig  end

The module DrawGraphics provides graphics primitives for the graphics library from the Objective Caml distribution.

module ErrorReport: Dalton_sig.ERROR_REPORT

The module ErrorReport provides standard error report messages.