Prototype SMT Solver
You need Python 3.7.1 or later to run protosmt.
Also typing-extensions package is required. It can be installed as follows:
pip install typing-extensions==3.7.2
TODO
Provided that your python interpreter is named python3.7,
you can run all the unit tests from the project root using
python3.7 -m unittest discover tests
- Sergei Yu. Skorobogatov
This project is licensed under the GNU General Public License, version 3 - see the LICENSE file for details.