Module Terms

module Builder : sig ... end

module Condition : sig ... end

Possible implementations of conditions for the terms.

module Const_eval : sig ... end

Evaluation of constant terms.

module Relations : sig ... end

module Sig : sig ... end

module Slicing : sig ... end

module Smt : sig ... end

Translation of the constraints to an SMT problem, and resolution.