Giters
Ayrat (5nizza)

5nizza

Geek Repo

10

followers

0

following

23

stars

Home Page:https://5nizza.github.io/homepage/

Github PK Tool:Github PK Tool

Ayrat's repositories

party-elli

SMT based bounded synthesis

Language:PythonLicense:MITStargazers:8Issues:2Issues:0

sdf-hoa

Bounded synthesis via safety games and BDDs

Language:C++License:MITStargazers:5Issues:2Issues:5

aisy

AIGER based synthesizer using BDDs

Language:CLicense:NOASSERTIONStargazers:3Issues:2Issues:0

spec-framework

SMV format for synthesis, converter to SYNTCOMP format

Language:CLicense:NOASSERTIONStargazers:3Issues:0Issues:0

sdf

Synthesizer from safety games

Language:C++License:NOASSERTIONStargazers:2Issues:2Issues:0

bene

Benchmarking helper: run your tool, extract stats, upload to DB

Language:PythonLicense:MITStargazers:1Issues:2Issues:0

-------------------

Server of SMT Solvers running in parallel

Language:PythonStargazers:0Issues:0Issues:0

smt-queries-from-party

Queries generated by elli.py

Language:SMTStargazers:0Issues:2Issues:0

5nizza.github.io

Language:SCSSLicense:NOASSERTIONStargazers:0Issues:0Issues:0

homepage

Language:TeXStargazers:0Issues:2Issues:0

Party

Parameterized Synthesis of Token Rings

Language:PythonStargazers:0Issues:3Issues:0

phd-thesis

Sources for my PhD dissertation

Language:TeXLicense:MITStargazers:0Issues:2Issues:0