An efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
View on GitHub
Downloads
Documentation
People
Publications
Awards
Third Party Applications
Acknowledgements
Downloads
Releases
All releases (sources, binaries) are available on GitHub.