The cinit package

"Main" package of NuSMV ("cinit" = core init).

By Adapted to NuSMV by Marco Roveri



Last updated on 2011/04/06 21h:16