The sm package

"Main" package of NuSMV ("sm" = system main).

By Adapted to NuSMV by Marco Roveri



Last updated on 2005/07/19 12h:35