Logo

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

License: BSD
CI
Coverage

Awards

Competitions

SMT-COMP