GitHub repository: shaunazzopardi/sweap
Primary language: HTML
Description: A tool for symbolic finite and infinite-state reactive synthesis