Module IC3

module IC3: sig .. end
Property-directed reachability (aka IC3)

Initial implementation by Piere-Loic Garoche
Author(s): Christoph Sticksel


val main : 'a InputSystem.t -> Analysis.param -> TransSys.t -> unit
Entry point
val on_exit : TransSys.t option -> unit
Cleanup before exit