The cinit package

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

By Adapted to NuSMV by Marco Roveri



Last updated on 2010/11/04 13h:33