search

potassco / clorm

🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
https://clorm.readthedocs.io
MIT License
52 stars 5 forks source link

Add missing methods from clorm.clingo.Control #123

Closed daveraja closed 1 year ago

daveraja commented 1 year ago

Need to add methods like on_unsat and on_core