We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
forgot to mention the type
bugfix formatting for larger numbers
added NuSMV-A welcome message