GitHub repository: ltentrup/SafetySynth
Primary language: Swift
Created: 2016-09-21T10:15:11Z
Description: A symbolic safety game solver written in Swift