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:

G. Ramalingam, J. Song, L. Joskowicz and R. E. Miller. Solving Systems of Difference Constraints Incrementally. Algorithmica 23:261-275, 1999.

Scott Cotton and Oded Maler. Fast and Flexible Difference Constraint Propagation for DPLL(T). Lecture Notes in Computer Science 4121:170-183, 2006.

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

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