Polygon Prerequisites Python 3.11 or later Z3 (version 4.13.0 was used for development) MySQL Install Dependencies pip install -r requirements.txt