Emeril

This project contains source code for the publication, Constraint-based Explanation and Repair of Filtered-based Transformations, a paper currently under review.

TODO:

  • Add license;
  • Add code for data generation, finding solutions, and running experiments;
  • Add instructions for data generation, finding solutions, and running experiments.

Synthetic Data Generation

TK

Description of Code

TK