Software Open Access

TyGuS/suslik: SuSLik v1.0

Nadia Polikarpova; Ilya Sergey; Yasunari Watanabe; rashchedrin; Kiran Gopinathan; George Pîrlea; peleghila; Shachar Itzhaky; Reuben Rowe


BibTeX Export

@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}
}
1,114
40
views
downloads
All versions This version
Views 1,11470
Downloads 402
Data volume 34.7 GB1.2 MB
Unique views 68265
Unique downloads 312

Share

Cite as