Module Dl

module Dl: sig .. end
A term-level API for Dl_core

module type T = sig .. end
Interface for a Difference Logic Solver.

Difference Logic Solvers for different number representations

module Safe_int_solver: T 
module Big_int_solver: T 
module Stretch_solver: T 
module Rational_solver: T 

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