Polygon

Prerequisites

• Python 3.11 or later
• Z3 (version 4.13.0 was used for development)
• MySQL

Install Dependencies

pip install -r requirements.txt