Closed MarcSerraPeralta closed 2 months ago
This is a wrapper for the stim.Circuit.shortest_error_sat_problem that solves the SAT problem and directly returns the circuit distance.
stim.Circuit.shortest_error_sat_problem
Missing tests...
This is a wrapper for the
stim.Circuit.shortest_error_sat_problem
that solves the SAT problem and directly returns the circuit distance.