Hacker News new | ask | show | jobs
by RobertoG 116 days ago
This solver, I suppose:

https://pypi.org/project/z4-solver/