library icon indicating copy to clipboard operation
library copied to clipboard

Published 20 hours ago • verified publisher icon ei1333

TwoSat

Open ei1333 opened this issue 2 years ago • 1 comments

否定を~で表すといちいち sat.rev(u) とかをしなくてよいので便利ですね

ei1333 avatar Mar 22 '22 17:03 ei1333

u = max(2 * u, -1 - 2 * u)

ei1333 avatar Mar 22 '22 17:03 ei1333