small change of examples-circuit-constraint

d-krupke / cpsat-primer

The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver

https://d-krupke.github.io/cpsat-primer/

Creative Commons Attribution 4.0 International

340 stars 34 forks source link

Closed ngoc2210 closed 7 months ago

ngoc2210 commented 1 year ago

I can understand most of the implementations and have made some small changes to improve the clarity.

d-krupke commented 1 year ago

Thanks!

Could you try to make the comment around

circuit += [(v,v, var.Not()) # var==True <=> var.Not() == False(literal is false) <=> v in circuit

more precise and simpler? I think, it still leaves some room for misinterpretation.