The sm package

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

By Originated from SIS



Last updated on 990908 16h51