satcss.tar (695.82 MB)
Data and Source Code for Sat CSS
software
posted on 2018-12-06, 07:58 authored by Matthew HagueMatthew Hague, Anthony Widjaja Lin, Chih-Duo HongSource 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...