@software{nadia_polikarpova_2021_5074275, author = {Nadia Polikarpova and Ilya Sergey and Yasunari Watanabe and rashchedrin and Kiran Gopinathan and George Pîrlea and peleghila and Shachar Itzhaky and Reuben Rowe}, title = {TyGuS/suslik: SuSLik v1.0}, month = jul, year = 2021, publisher = {Zenodo}, version = {v1.0}, doi = {10.5281/zenodo.5074275}, url = {https://doi.org/10.5281/zenodo.5074275} }