Nikolaos Pothitos comments

Repositories
Issues
Comments

Results 4 comments of


                                            Nikolaos Pothitos

Determine redundant constraints

Hello and thank you for opening here your first ever issue! I think that this relates somehow with Issue #6 that, if I'm not mistaken, is described in the bibliography...

Encode declared constraints and print on demand the violated ones

Good morning, Alex, and thank you for the question! If we want to add a constraint, we use e.g. `pm.add(var == 1)`. But, unfortunately, there isn't a similar `pm.check_if_added(var ==...

Encode declared constraints and print on demand the violated ones

Buenos días, Alex! The check about the bounds of `var` can be done even before calling `nextSolutioon`. Because, when you declare a contraint, a first naive consistency level is immediately...

Trends

Good morning Vlad and best wishes! Here it is https://twitter.com/i/trends