satcss.tar (695.82 MB)

Data and Source Code for Sat CSS

Download (695.82 MB)
software
posted on 06.12.2018 by Matthew Hague, Anthony Widjaja Lin, Chih-Duo Hong
Source code, benchmark data, disk image for SatCSS tool accompanying TOPLAS article "CSS Minification via Constraint Solving"

Funding

Verification of Concurrent and Higher-Order Recursive Programs

Engineering and Physical Sciences Research Council

Find out more...

Google Faculty Award

History

Date Created

2016-2018

Date Available

05/12/2018

Licence

Exports

Logo branding

Licence

Exports