This is the final project in the course "Software Synthesis and Automated Reasoning" (236347), Technion - Israel Institute of Technology
The project was created by Orel Adivi and Daniel Noor.

18 October 2022