Enhancement: support more than 1 condition inside min/max aggregates for translation

potassco / ngo

Non Ground Optimizer for logic programs.

MIT License

4 stars 0 forks source link

Open MaxOstrowski opened 1 year ago

MaxOstrowski commented 1 year ago

Also support non-literal conditions like X > 7 inside these aggregates

MaxOstrowski commented 1 year ago

The set of conditions must have bound variables and may not rely on outside Variables.

MaxOstrowski commented 1 year ago

Also the length of conditions is restricted to 1 currently, fix this too.

MaxOstrowski commented 8 months ago

002.jobshop.lp