Project

Experiments for extracting repairs from proofs.

Compilation

Clone the repository

git clone https://github.com/JoergSchwabe/Project.git

From the root directory of the project run:

 mvn clean install

See project-docker for running the experiments.