Ayrat's repositories
party-elli
SMT based bounded synthesis
spec-framework
SMV format for synthesis, converter to SYNTCOMP format
-------------------
Server of SMT Solvers running in parallel
smt-queries-from-party
Queries generated by elli.py
phd-thesis
Sources for my PhD dissertation