https://pypi.org/project/yices-solver/ Recent updates to the Python Package Index for yices-solver en https://pypi.org/project/yices-solver/2.6.5.post24/ Platform-tagged wheels bundling the Yices 2 SMT solver (CLI + shared library) karma@coma.lol Sat, 31 May 2025 00:08:17 GMT https://pypi.org/project/yices-solver/2.6.4.post23/ Platform-tagged wheels bundling the Yices 2 SMT solver (CLI + shared library) karma@coma.lol Fri, 30 May 2025 23:55:01 GMT