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.

Error report

module ErrorReport: Dalton_sig.ERROR_REPORT
The module ErrorReport provides standard error report messages.