search

potassco / clingcon

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

empty minimize statements #68

Closed MaxOstrowski closed 3 years ago

MaxOstrowski commented 3 years ago

Check if the program &minimize {A*V : var(A,V)}. interfers with the automatic enumeration detection as an empty minimize is generated. Also what about empty minimize statements.

MaxOstrowski commented 3 years ago

Confirmed:

&dom{(1..5)}=("X_INTRODUCED_1_").
&minimize{}.

produces 5 models. This is problematic for flatzingo, as we have translated instances and some have the condition (var/2) and some or no optimization problems, so we do not want to enumerate on default.

MaxOstrowski commented 3 years ago

Done