GitHub / FilippoFantinato / simple-synthetiser

Just a simple safety and co-safety synthesizer

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/FilippoFantinato%2Fsimple-synthetiser
PURL: pkg:github/FilippoFantinato/simple-synthetiser

Stars: 0
Forks: 0
Open issues: 0

License: None
Language: C
Size: 2.44 MB
Dependencies parsed at: Pending

Created at: almost 2 years ago
Updated at: over 1 year ago
Pushed at: over 1 year ago
Last synced at: over 1 year ago

Topics: co-safety-synthesis, reachability-games, reactive-synthesis, safety-games, safety-synthesis

Loading...