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