Module Yices.Future

module Future: sig .. end

Untested and potentially harmful features

val interrupt : Yices.context -> unit

Given on yices-help by Bruno Dutertre (2009-12-16)

val get_lite_context : Yices.context -> Yicesl.context

Get the Lite context out of a Full context. Be aware to close only the full context!

Given on yices-help by Bruno Dutertre (2010-06-01)