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

Cyclic program synthesis, with support for certification via HTT/VST/Iris.

Files (620.6 kB)
Name Size
TyGuS/suslik-v1.0.zip
md5:7110e71cfb31cdaefe9ffe9c1ae772bf
620.6 kB Download
1,084
38
views
downloads
All versions This version
Views 1,08469
Downloads 382
Data volume 34.7 GB1.2 MB
Unique views 65764
Unique downloads 292

Share

Cite as