We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
dbd22b0
This release adds support to print counterexamples for the STS formalism, and fixes various minor warnings.
