NuSMV support
Currently we support both NuSMV and nuXmv.
I do not think that we need to support both. We can remove NuSMV support. It would result in simpler code.
(from redmine: issue id 3107, created on 2017-10-18, closed on 2017-12-11)
Currently we support both NuSMV and nuXmv.
I do not think that we need to support both. We can remove NuSMV support. It would result in simpler code.
(from redmine: issue id 3107, created on 2017-10-18, closed on 2017-12-11)