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,635
68
views
downloads
All versions This version
Views 1,635144
Downloads 684
Data volume 63.6 GB2.5 MB
Unique views 1,071139
Unique downloads 584

Share

Cite as