You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The variable k in the check_circuit_satisfied should check if constraints related to q_fixed_group_add and q_variable_group_add selectors are satisfied, but the check is unimplemented now.
How can we fix it
Add qfixed and qvar checks to the variable k
The text was updated successfully, but these errors were encountered:
What's wrong
The variable k in the check_circuit_satisfied should check if constraints related to q_fixed_group_add and q_variable_group_add selectors are satisfied, but the check is unimplemented now.
How can we fix it
Add qfixed and qvar checks to the variable k
The text was updated successfully, but these errors were encountered: