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
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