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

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