PyPI recent updates for behaverify https://pypi.org/project/behaverify/ Recent updates to the Python Package Index for behaverify en 1.0.0 https://pypi.org/project/behaverify/1.0.0/ A tool for formal verification of behavior trees serena.serbinowska.work@proton.me Fri, 05 Dec 2025 05:04:26 GMT 0.0.1 https://pypi.org/project/behaverify/0.0.1/ A tool for formal verification of behavior trees serena.serbinowska.work@proton.me Thu, 02 Oct 2025 14:07:56 GMT