Giters
Reactive Synthesis Competition (SYNTCOMP)

Reactive Synthesis Competition

SYNTCOMP

Geek Repo

Home Page:http://www.syntcomp.org/

Github PK Tool:Github PK Tool

Reactive Synthesis Competition's repositories

benchmarks

Repository of benchmarks for SYNTCOMP

Language:PythonLicense:NOASSERTIONStargazers:8Issues:4Issues:33

combine-aiger

Combine a TLSF specification with an AIG solution into an AIG monitor for model checking

Language:CLicense:ISCStargazers:3Issues:2Issues:0

StarExecSYNTCOMP

Processors, examples, and other files for SYNTCOMP 2019,2020,... hosted in StarExec

Language:PythonStargazers:2Issues:2Issues:3

hoa-tools

Tools to transform HOA format

Language:CLicense:GPL-3.0Stargazers:1Issues:2Issues:4