Hi, this project uses formal methods to find properties of quantum error codes.
Currently it uses a SAT solver (z3) to find the minimum distance of a given error code (which is np-hard). Currently it can do this accurately but is slower than other approaches.