search

potassco / clingcon

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

Warn about unconstrained integer variables #80

Open MaxOstrowski opened 3 years ago

MaxOstrowski commented 3 years ago

This addresses the issue with undefined variables that only occur in the body of rules and are not statically "defined". @rkaminsk would it be enough to raise a warning somewhere in init if a domain of a variable has an upper/lower bound that is min/max (given by config) ?

rkaminsk commented 3 years ago

@rkaminsk would it be enough to raise a warning somewhere in init if a domain of a variable has an upper/lower bound that is min/max (given by config) ?

No this would not be enough because in encodings the bounds of variables can be set exactly to these values.