3 ms·This solver, I suppose: https://pypi.org/project/z4-solver/ https://pypi.org/project/z4-solver/by RobertoG 8mo agoThis solver, I suppose: https://pypi.org/project/z4-solver/ https://pypi.org/project/z4-solver/