This package contains utility classes for manipulating and accessing the model of the NuSMV tool.