sat-qecc
A python-based SAT solver for finding the distance of a quantum error correcting code (limited to CSS codes)
Funding
Unlocking the potential of Quantum LDPC Codes for low-overhead fault-tolerance
Engineering and Physical Sciences Research Council
Find out more...
