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

Non-determinism in clorm.clingo.Control.solve() with assumptions #113

Closed daveraja closed 11 months ago

daveraja commented 2 years ago

clorm.clingo.Control.solve() with assmption uses a python set() when converting from clorm facts to clingo symbols. This causes non-determinism between multiple runs of a program. See: https://github.com/potassco/clorm/blob/master/clorm/_clingo.py#L215