distance_z3

ssip.distance.distance_z3(C: CSScode, Lz: ndarray[Any, dtype[uint8]] | None = None, Lx: ndarray[Any, dtype[uint8]] | None = None) → int

Finds the distance of a CSS code. Searches for logicals with weight 1, then weight 2 and so on. Works best for codes with low distances, but is implemented using Z3 so is quite fast.

Parameters:

• C – The CSScode.

• Lz – A spanning set of Z logicals of the code.

• Lx – A spanning set of X logicals of the code.

Returns:

The distance of C.