search

potassco / ngo

Non Ground Optimizer for logic programs.
MIT License
4 stars 0 forks source link

Remove #true and #false #82

Closed MaxOstrowski closed 1 year ago

MaxOstrowski commented 1 year ago

Find a place to remove those things, as the math traits might produce these. Maybe cleanup.