This package contains implementations of different eOperations for the NuSMV operators.