GitHub repository: norbit8/automated_reasoning_abt_sw
Primary language: Python
Description: The final project in the course "Automated reasoning about software" 67532 (The Hebrew University of Jerusalem).