Python tools for finding QECCs as SAT problem