search

sambayless / monosat

MonoSAT - An SMT solver for Monotonic Theories
MIT License
108 stars 30 forks source link

Python 3.10 Support: collections.Iterable #36

Closed DSoko2 closed 2 years ago

DSoko2 commented 2 years ago

Python 3.10 removes Iterable from the collections module. It is available since Python 3.3 from the collections.abc module. More details: https://stackoverflow.com/a/72032097

This patch fixes the MonoSAT Python bindings for me on Python 3.10.5.

sambayless commented 2 years ago

Thanks for taking the time to fix this, much appreciated!