ICFP 2018 AEC

This artifact is a prototype of the compiler and synthesis tools we described in our ICFP 2018 paper on Functional Programming for Compiling and Decompiling Computer-Aided Design. Our tool is continuously being improved and extended. We recommend checking out our website: http://incarnate.uwplse.org/ for access to the latest version of our tools.