Module C2Icnf

C2I, CNF version.

val on_exit : TransSys.t option -> unit

Clean exit.

val main : 'a InputSystem.t -> Analysis.param -> TransSys.t -> unit

Runs C2I CNF version.