clorm.clingo.Control.solve() with assumptions is now deterministic

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

clorm.clingo.Control.solve() with assumptions is now deterministic #125

Closed daveraja closed 11 months ago

daveraja commented 11 months ago

Provided the input is deterministic the output assumption list will also be determinisitic. Note: using a list or factbase is deterministic, but if you pass it a set() object then the order or iteration is non-deterministic so the assumption list will also be non-deterministic.