shaunazzopardi/sweap

A tool for symbolic finite and infinite-state reactive synthesis