realize weak constraints/optimization in an efficient way
Opened this issue · 0 comments
peschue commented
dlvhex 2 does not contain support for weak constraints yet, as they were anyways realized in a very naive and inefficient way.
if there is a unified asp input language with support for optimization, we can think about realizing optimization in an efficient way
(and this can be used by the acthex plugin to determine best models)