Module Dl_core

module Dl_core: sig .. end
A solver for difference logic.

A low level interface to a Difference logic solver implementation based on:

module Variable: Id.Generator  with type t = int
module Variable_map: Index.Map  with type key = Variable.t
module type L = sig .. end
module type T = sig .. end
module Make: 
functor (N : Dl_number.T) -> T with type num = N.t

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