tqecd.match_utils.cover

Provides utility functions to find “covers” of Pauli strings.

Functions

find_commuting_cover_on_target_qubits_sat(...)	Try to find a set of boundary stabilizers from sources that generate a superset of target.
find_cover(target, sources, qubit_coordinates)	Try to cover the provided target stabilizer with stabilizers from sources.
find_exact_cover_sat(target, sources)	Try to find a set of pauli strings from sources that generate exactly target.