We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
dd89b1b
If Z3 is not already installed, automatically install it when users install Satisfiability.jl. Credit to @mykelk for this improvement :)