logoalt Hacker News

faeyanpiraat • today at 9:56 AM • 1 reply • view on HN

whats z4

Replies

RobertoG • today at 11:38 AM

This solver, I suppose:

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