Code, Benchmarks and Data for "Optimal Clifford Synthesis as Planning" paper at ICAPS26

This submission contains four parts: Code and Scripts: code and scripts used for the experiments in the "Optimal Clifford Synthesis as Planning " paper.Benchmarks: All the benchmarks used in the experiments for the paper.Data: The data from all 3 Experiments. The README.md file in the folder presents further details.