Module type Dl.T

module type T = sig .. end

Interface for a Difference Logic Solver.

class make : unit -> Solver_api.theory

Hosted by the

^* web site.
^*Other names and brands may be claimed as the property of others.