ucc-ft

Work-in-progress prototype for verifying the fault tolerance of quantum error correction codes. It implements the approach outlined in the paper "Verifying Fault-Tolerance of Quantum Error Correction Codes" by Chen et al. The project is currently translating the original Julia code into Python. Key aspects include prototyping verification methods based on this recent research. It uses uv for dependency management and requires the Bitwuzla SMT solver to be installed. This tool is being developed to explore and validate techniques for assessing the resilience of QEC codes against errors.