Added the on_unsat and on_core callbacks for clorm.clingo.Control

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

Closed daveraja closed 11 months ago