5 ms·whats z4by faeyanpiraat 8mo agowhats z4RobertoG 8mo agoThis solver, I suppose: https://pypi.org/project/z4-solver/ https://pypi.org/project/z4-solver/