Comparison to SMTChecker

Write a short paragraph or two, listing the similarities and differences between this project and SMTChecker

Links:

• PDF Paper: https://github.com/leonardoalt/text/blob/master/solidity_isola_2018/main.pdf
• Solidity Docs: https://solidity.readthedocs.io/en/v0.6.7/security-considerations.html#formal-verification