Closed mbalduccini closed 1 year ago
That's great, thanks! Does clingcon on conda also have it?
That's great, thanks! Does clingcon on conda also have it?
clingcon is using clingo as a library. As long as you take the dev version of both, then it should be available.
Great!
Pretty much as the title says... both the clingo executable and the API return the costs as a vector of integers, e.g.
Is it possible to retrieve the priority levels associated with those costs using the API?
This seems particularly important in multi-shot solving, where we have noticed that the size of the vector may actually decrease when new
#minimize
statements are added to program via the backend.Thanks! Marcello