GitHub repository: reactive-systems/bosy
Primary language: Swift
Created: 2017-04-25T07:40:00Z
Description: BoSy is a reactive synthesis tool based on constraint-solving