Giters

FilippoFantinato / simple-synthetiser

Just a simple safety and co-safety synthesizer

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

reachability-gamesreactive-synthesissafety-gamesco-safety-synthesissafety-synthesis

Simple Synthetiser

Build Main Build Develop

Just a simple safety and co-safety synthesizer to learn more about this topic.

About

Just a simple safety and co-safety synthesizer

reachability-gamesreactive-synthesissafety-gamesco-safety-synthesissafety-synthesis

Languages

Language:C 63.0%Language:C++ 31.4%Language:Shell 4.3%Language:CMake 1.2%Language:Makefile 0.2%