PyPI recent updates for pddl2hoa https://pypi.org/project/pddl2hoa/ Recent updates to the Python Package Index for pddl2hoa en 0.1.4 https://pypi.org/project/pddl2hoa/0.1.4/ Convert PDDL planning problems to HOA (Hanoi Omega Automata) format oz@ozgitelson.com Wed, 30 Jul 2025 16:14:00 GMT 0.1.3 https://pypi.org/project/pddl2hoa/0.1.3/ Convert PDDL planning problems to HOA (Hanoi Omega Automata) format oz@ozgitelson.com Wed, 30 Jul 2025 15:56:21 GMT 0.1.2 https://pypi.org/project/pddl2hoa/0.1.2/ Convert PDDL planning problems to HOA (Hanoi Omega Automata) format oz@ozgitelson.com Wed, 30 Jul 2025 15:43:33 GMT 0.1.1 https://pypi.org/project/pddl2hoa/0.1.1/ Convert PDDL planning problems to HOA (Hanoi Omega Automata) format oz@ozgitelson.com Tue, 29 Jul 2025 15:15:39 GMT 0.1.0 https://pypi.org/project/pddl2hoa/0.1.0/ Convert PDDL planning problems to HOA (Hanoi Omega Automata) format oz@ozgitelson.com Tue, 29 Jul 2025 14:58:55 GMT