Open peschue opened 11 years ago
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)
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)