We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
d9deaf6
The biggest change is the integration of the CVC4 SMT solver (CVC4 1.8-prerelease).
CVC4 1.8-prerelease