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)