potassco / ngo

Non Ground Optimizer for logic programs.

MIT License

4 stars 0 forks source link

Issue/56 #69

Closed MaxOstrowski closed 1 year ago

MaxOstrowski commented 1 year ago

fix #55, #56

introduce a new translation to count aggregates if possible