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
Noticed this possible optimization while profiling my app.
Currently PropBinAC3bitrm.propagate() and PropBinAC3bitrm.revise() methods call CouplesBitSetTable.checkUnsupportedValue() in a loop with fixed var and v: