We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
d08aeed
Functional synthesis and quantifier elimination overhauled again. Now much more simple.
Also fixed a compilation problem with occurring with new GCC versions.
