Repair dataset

The dataset is used for repairing sequential circuits against formal specifications given in linear-time temporal logic (LTL). The dataset consists of three entries: a formal specification in LTL, a defective circuit, and the corrected target circuit.