5nizza

Pinned Repositories

-------------------
Server of SMT Solvers running in parallel
Language:Python0 2 00
aisy
AIGER based synthesizer using BDDs
Language:C3 2 01
bene
Benchmarking helper: run your tool, extract stats, upload to DB
Language:Python1 2 00
party-elli
SMT based bounded synthesis
Language:Python8 2 02
sdf
Synthesizer from safety games
Language:C++2 2 00
sdf-hoa
Bounded synthesis via safety games and BDDs
Language:C++5 2 50
smt-queries-from-party
Queries generated by elli.py
Language:SMT0 2 00
spec-framework
SMV format for synthesis, converter to SYNTCOMP format
Language:C3 2 00

5nizza's Repositories

5nizza/party-elli
SMT based bounded synthesis
Language:Python8 2 02
5nizza/sdf-hoa
Bounded synthesis via safety games and BDDs
Language:C++5 2 50
5nizza/aisy
AIGER based synthesizer using BDDs
Language:C3 2 01
5nizza/spec-framework
SMV format for synthesis, converter to SYNTCOMP format
Language:C3 2 00
5nizza/sdf
Synthesizer from safety games
Language:C++2 2 00
5nizza/bene
Benchmarking helper: run your tool, extract stats, upload to DB
Language:Python1 2 00
5nizza/-------------------
Server of SMT Solvers running in parallel
Language:Python0 2 00
5nizza/smt-queries-from-party
Queries generated by elli.py
Language:SMT0 2 00
5nizza/5nizza.github.io
Language:SCSS2 0
5nizza/homepage
Language:TeX2 0
5nizza/Party
Parameterized Synthesis of Token Rings
Language:Python3 01
5nizza/phd-thesis
Sources for my PhD dissertation
Language:TeX2 0