search

potassco / clingcon

⛓️ Extension of clingo to handle constraints over integers
https://potassco.org/
MIT License
25 stars 4 forks source link

Unnecessary code #74

Closed MaxOstrowski closed 3 years ago

MaxOstrowski commented 3 years ago

https://github.com/potassco/clingcon/blob/289b80ca4b2f936625bb6e6d35d7c6a4da6e3fd7/libclingcon/src/solver.cc#L664-L675

Isn't this exactly the same code executed twice ? Can I remove the second clause ?

rkaminsk commented 3 years ago

Yes, it is the same thing. Also the comment is just the contraposition. You can remove one of them (preferably the second).