https://pypi.org/project/itf-py/ Recent updates to the Python Package Index for itf-py en https://pypi.org/project/itf-py/0.5.0/ Python library to parse and emit Apalache/Quint traces in ITF JSON igor@konnov.phd Tue, 17 Feb 2026 12:07:37 GMT https://pypi.org/project/itf-py/0.4.3/ Python library to parse and emit Apalache/Quint traces in ITF JSON igor@konnov.phd Thu, 13 Nov 2025 20:16:21 GMT https://pypi.org/project/itf-py/0.4.2/ Python library to parse and emit Apalache/Quint traces in ITF JSON igor@konnov.phd Mon, 10 Nov 2025 20:55:27 GMT https://pypi.org/project/itf-py/0.4.1/ Python library to parse and emit Apalache/Quint traces in ITF JSON igor@konnov.phd Fri, 07 Nov 2025 16:31:33 GMT https://pypi.org/project/itf-py/0.4.0/ Python library to parse and emit Apalache/Quint traces in ITF JSON igor@konnov.phd Mon, 28 Jul 2025 21:33:02 GMT https://pypi.org/project/itf-py/0.2.2/ Python library to parse and emit Apalache/Quint traces in ITF JSON igor@konnov.phd Fri, 25 Jul 2025 19:48:31 GMT https://pypi.org/project/itf-py/0.2.1/ Python library to parse and emit Apalache ITF traces igor@konnov.phd Fri, 25 Jul 2025 19:06:54 GMT https://pypi.org/project/itf-py/0.2.0/ Python library to parse and emit Apalache ITF traces igor@konnov.phd Fri, 25 Jul 2025 18:47:09 GMT https://pypi.org/project/itf-py/0.1.2/ Python library to parse and emit Apalache ITF traces igor@konnov.phd Fri, 25 Jul 2025 10:18:13 GMT https://pypi.org/project/itf-py/0.1.1/ Python library to parse and emit Apalache ITF traces igor@konnov.phd Fri, 25 Jul 2025 10:04:11 GMT https://pypi.org/project/itf-py/0.1.0/ Python library to parse and emit Apalache ITF traces igor@konnov.phd Fri, 25 Jul 2025 09:45:13 GMT