{"id":35849447,"url":"https://github.com/whitemech/fond4ltlf","last_synced_at":"2026-01-08T07:01:11.425Z","repository":{"id":44863598,"uuid":"142180709","full_name":"whitemech/FOND4LTLf","owner":"whitemech","description":"FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems","archived":false,"fork":false,"pushed_at":"2024-11-01T13:44:26.000Z","size":1885,"stargazers_count":15,"open_issues_count":5,"forks_count":3,"subscribers_count":2,"default_branch":"master","last_synced_at":"2024-11-01T14:22:13.042Z","etag":null,"topics":["dfa","fond","ltlf","non-determinism","pddl","planning","pltlf"],"latest_commit_sha":null,"homepage":"https://whitemech.github.io/FOND4LTLf","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"lgpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/whitemech.png","metadata":{"files":{"readme":"README.md","changelog":"HISTORY.md","contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":"AUTHORS.md","dei":null,"publiccode":null,"codemeta":null}},"created_at":"2018-07-24T15:48:56.000Z","updated_at":"2024-06-29T14:07:30.000Z","dependencies_parsed_at":"2024-11-01T14:21:32.336Z","dependency_job_id":"4ab8bd84-4334-4021-835e-5dbda9ee04a8","html_url":"https://github.com/whitemech/FOND4LTLf","commit_stats":null,"previous_names":[],"tags_count":2,"template":false,"template_full_name":null,"purl":"pkg:github/whitemech/FOND4LTLf","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/whitemech%2FFOND4LTLf","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/whitemech%2FFOND4LTLf/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/whitemech%2FFOND4LTLf/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/whitemech%2FFOND4LTLf/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/whitemech","download_url":"https://codeload.github.com/whitemech/FOND4LTLf/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/whitemech%2FFOND4LTLf/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":28242445,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2026-01-08T02:00:06.591Z","response_time":241,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["dfa","fond","ltlf","non-determinism","pddl","planning","pltlf"],"created_at":"2026-01-08T07:00:28.955Z","updated_at":"2026-01-08T07:01:11.410Z","avatar_url":"https://github.com/whitemech.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"\u003ch1 align=\"center\"\u003e\n  FOND 4 LTL\u003csub\u003ef\u003c/sub\u003e\n\u003c/h1\u003e\n\n\u003cp align=\"center\"\u003e\n  \u003ca href=\"\"\u003e\n    \u003cimg alt=\"test\" src=\"https://github.com/whitemech/FOND4LTLf/workflows/test/badge.svg\"\u003e\n  \u003c/a\u003e\n  \u003ca href=\"\"\u003e\n    \u003cimg alt=\"lint\" src=\"https://github.com/whitemech/FOND4LTLf/workflows/lint/badge.svg\"\u003e\n  \u003c/a\u003e\n  \u003ca href=\"\"\u003e\n    \u003cimg alt=\"docs\" src=\"https://github.com/whitemech/FOND4LTLf/workflows/docs/badge.svg\"\u003e\n  \u003c/a\u003e\n\u003c/p\u003e\n\u003cp align=\"center\"\u003e\n  \u003ca href=\"https://codecov.io/gh/whitemech/FOND4LTLf\"\u003e\n    \u003cimg src=\"https://codecov.io/gh/whitemech/FOND4LTLf/branch/master/graph/badge.svg?token=KKWRAH29O7\"/\u003e\n  \u003c/a\u003e\n  \u003ca href=\"https://www.mkdocs.org/\"\u003e\n    \u003cimg alt=\"\" src=\"https://img.shields.io/badge/docs-mkdocs-9cf\"\u003e\n  \u003c/a\u003e\n  \u003ca href=\"https://github.com/whitemech/FOND4LTLf/blob/master/LICENSE\"\u003e\n    \u003cimg alt=\"GitHub\" src=\"https://img.shields.io/badge/license-LGPLv3%2B-blue\"\u003e\n  \u003c/a\u003e\n\u003c/p\u003e\n\u003cp align=\"center\"\u003e\n\u003ca href=\"https://doi.org/10.5281/zenodo.4876281\"\u003e\u003cimg src=\"https://zenodo.org/badge/DOI/10.5281/zenodo.4876281.svg\" alt=\"DOI\"\u003e\u003c/a\u003e\n\u003c/p\u003e\n\nFOND 4 LTL\u003csub\u003ef\u003c/sub\u003e is a tool that compiles Fully Observable Non-Deterministic (FOND) planning\nproblems with temporally extended goals, specified either in LTL\u003csub\u003ef\u003c/sub\u003e or in PLTL\u003csub\u003ef\u003c/sub\u003e, into classical FOND\nplanning problems.\n\n## Prerequisites\n\nThis tool is based on the following libraries:\n\n- [ltlf2dfa 1.0.1](https://pypi.org/project/ltlf2dfa/)\n- [ply](https://pypi.org/project/ply/)\n- [click](https://pypi.org/project/click/)\n\nThey are automatically added while installing FOND4LTL\u003csub\u003ef\u003c/sub\u003e.\n\n## Install\n\n- Intall from source (`master` branch):\n\n```\npip install git+https://github.com/whitemech/FOND4LTLf.git\n```\n\n- or, clone the repository and install:\n\n```\ngit clone https://github.com/whitemech/FOND4LTLf.git\ncd FOND4LTLf\npip install .\n```\n\n## Usage\n\nThe output of the CLI is the following:\n\n```bash\nuser:~$ fond4ltlf --help\nUsage: fond4ltlf [OPTIONS]\n\n  From FOND Planning for LTLf/PLTLf Goals to Classical FOND Planning.\n\nOptions:\n  -d, --in-domain PATH       Path to PDDL domain file.  [required]\n  -p, --in-problem PATH      Path to PDDL problem file.  [required]\n  -g, --goal TEXT            LTLf or PLTLf goal formula.\n  -outd, --out-domain FILE   Path to PDDL file to store the new domain.\n  -outp, --out-problem FILE  Path to PDDL file to store the new problem.\n  -n, --no-disj-preconds     No disjunctive preconditions.\n  --help                     Show this message and exit.\n```\n\nFor instance, you can call `FOND4LTLf` as follows:\n\n```bash\nfond4ltlf -d \u003cpath/to/domain.pddl\u003e -p \u003cpath/to/problem.pddl\u003e -g \"formula\"\n```\n\n## Features\n\n* Syntax and parsing support FOND Planning in PDDL\n* Compilation of Deterministic Finite-state Automaton into PDDL\n\n## Development\n\nContributions are welcome! Here's how to set up the development environment:\n- set up your preferred virtualenv environment\n- clone the repo: `git clone https://github.com/IBM/nl2ltl.git \u0026\u0026 cd nl2ltl`\n- install dependencies: `pip install -e .`\n- install dev dependencies: `pip install -e \".[dev]\"`\n- install pre-commit: `pre-commit install`\n\n## Tests\n\nTo run tests: `tox`\n\nTo run only the code tests: `tox -e py3.10`\n\nTo run only the code style checks: `tox -e ruff-check`\n\n## License\n\nFOND4LTL\u003csub\u003ef\u003c/sub\u003e is released under the GNU Lesser General Public License v3.0 or later (LGPLv3+).\n\nCopyright 2019-2024 WhiteMech\n\n## Author\n\n[Francesco Fuggitti](https://francescofuggitti.github.io/)\n\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fwhitemech%2Ffond4ltlf","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fwhitemech%2Ffond4ltlf","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fwhitemech%2Ffond4ltlf/lists"}