README.md

protosmt

Prototype SMT Solver

Getting Started

Prerequisites

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

Installing

TODO

Running the tests

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

Author

• Sergei Yu. Skorobogatov

License

This project is licensed under the GNU General Public License, version 3 - see the LICENSE file for details.