Data and Source Code for Sat CSS

Source code, benchmark data, disk image for SatCSS tool accompanying TOPLAS article "CSS Minification via Constraint Solving"<br>