GitHub repository: DaAnIV/techcs-236347
Primary language: Python
Description: Software Synthesis and Automated Reasoning (SSAR)