tarski
Tarski - An AI Planning Modeling Framework
File Explorer
Download Latest Version (.zip)- code-style.yml
- codeql-analysis.yml
- coverage.yml
- publish-to-pypi.yml
- unit-tests.yml
- design.md
- development.md
- documentation.md
- releasing.md
- blocksworld.pddl
- counters.pddl
- gripper.pddl
- gripper_prob01.pddl
- probBLOCKS-4-2.pddl
- advanced-problem-definition-techniques.ipynb
- defining-problems-fstrips.ipynb
- defining-your-first-planning-problem.ipynb
- first-order-logics.ipynb
- grounding-reachability-analysis.ipynb
- k0-compilation.ipynb
- parsing-and-inspecting-pddl.ipynb
- problem-manipulation-reformulation-techniques.ipynb
- work_in_progress.ipynb
- advanced-topics.rst
- api.rst
- conf.py
- development.rst
- getting-started.rst
- index.rst
- installation.md
- limitations.md
- Makefile
- readme.md
- requirements.txt
- use-cases.rst
- domain.pddl
- p00.pddl
- p01-domain.pddl
- p01.pddl
- __init__.py
- __main__.py
- __init__.py
- __main__.py
- __init__.py
- __main__.py
- README.md
- counters.pddl
- probBLOCKS-4-2.pddl
- probBLOCKS-domain.pddl
- 007_ltl_model_checking.ipynb
- 008_reactions_and_events.ipynb
- ferryman.smv
- From_RDDL_to_Functional_STRIPS.ipynb
- 001_sorts_and_constant_symbols.ipynb
- 002_functions_and_predicates.ipynb
- 003_terms_and_formulas.ipynb
- 004_interpretations.ipynb
- 005_functional_strips.ipynb
- 006_parsing_pddl_like.ipynb
- 101_advanced_tutorial_theories.ipynb
- 901_double_integrator_model.ipynb
- index.ipynb
- build-docs
- build-grammars
- get-benchmarks
- run-mypy
- __init__.py
- csp.py
- csp_schema.py
- __init__.py
- blocksworld.py
- counters.py
- __init__.py
- concepts.py
- errors.py
- factory.py
- features.py
- __init__.py
- simple.py
- __init__.py
- errors.py
- problem.py
- sensor.py
- __init__.py
- differential_constraints.py
- errors.py
- problem.py
- reaction.py
- __init__.py
- simplify.py
- types.py
- __init__.py
- action.py
- derived.py
- errors.py
- fstrips.py
- ops.py
- problem.py
- representation.py
- visitors.py
- walker.py
- __init__.py
- __init__.py
- constraints.py
- diff_constraints.py
- instantiation.py
- reactions.py
- sensors.py
- state_variables.py
- __init__.py
- common.py
- errors.py
- lp_grounding.py
- naive_grounding.py
- ops.py
- __init__.py
- lexer.py
- listener.py
- parser.py
- visitor.py
- __init__.py
- common.py
- reader.py
- readme.md
- __init__.py
- errors.py
- instance.py
- lexer.py
- parser.py
- __init__.py
- fd.py
- json.py
- templates.py
- fstrips_domain.tpl
- fstrips_instance.tpl
- rddl_model.tpl
- __init__.py
- common.py
- fstrips.py
- rddl.py
- utils.py
- __init__.py
- temporal.py
- __init__.py
- task.py
- __init__.py
- asp.py
- clingo_wrapper.py
- gringo.py
- __init__.py
- temporal.py
- util.py
- __init__.py
- blind.py
- model.py
- operations.py
- __init__.py
- matrix.py
- __init__.py
- random.py
- special.py
- __init__.py
- ltl.py
- __init__.py
- action_grounding.py
- cnf.py
- errors.py
- neg_builtin.py
- nnf.py
- prenex.py
- quantifier_elimination.py
- simplifications.py
- substitutions.py
- __init__.py
- builtins.py
- factory.py
- formulas.py
- function.py
- ops.py
- predicate.py
- sorts.py
- symrefs.py
- terms.py
- util.py
- visitors.py
- walker.py
- __init__.py
- algorithms.py
- command.py
- hashing.py
- helpers.py
- resources.py
- serialization.py
- __init__.py
- errors.py
- fol.py
- model.py
- modules.py
- theories.py
- util.py
- version.py
- __init__.py
- __init__.py
- test_csp.py
- test_csp_schema.py
- __init__.py
- test_benchmarks.py
- __init__.py
- benchmarks.py
- blocksworld.py
- grid_navigation.py
- gridworld.py
- gripper.py
- numeric.py
- parcprinter.py
- simple.py
- spider.py
- tarskiworld.py
- domain.pddl
- p00.pddl
- domain.pddl
- grid3x3.pddl
- domain-p01.pddl
- p01.pddl
- domain.pddl
- problem12.pddl
- domain.pddl
- problem.pddl
- p01-domain.pddl
- p01.pddl
- domain.pddl
- instance-2.pddl
- domain.pddl
- pfile1.pddl
- Mars_Rover.rddl
- Navigation.rddl
- Reservoir.rddl
- __init__.py
- __init__.py
- test_concepts.py
- __init__.py
- test_fol_accessors.py
- test_interpretations.py
- test_sorts.py
- test_syntactic_analysis.py
- test_syntax.py
- test_variable_bindings.py
- __init__.py
- localize.py
- test_sensors.py
- __init__.py
- tasks.py
- test_differential.py
- test_reactions.py
- __init__.py
- test_actions.py
- test_derived.py
- test_fstrips_operations.py
- test_problem_grounding.py
- test_representation.py
- test_simplify.py
- test_symbol_classification.py
- test_walker.py
- __init__.py
- test_lp_grounding.py
- test_naive_grounding.py
- __init__.py
- common.py
- test_builtin_domains_parsing.py
- test_fd_sas_writer.py
- test_fstrips_full_domains_parsing.py
- test_fstrips_parsing.py
- test_fstrips_writer.py
- test_pddl_parsing.py
- test_rddl_parsing.py
- test_rddl_writer.py
- __init__.py
- test_issue113.py
- test_issue114.py
- __init__.py
- test_temporal.py
- __init__.py
- test_reachability_lp.py
- __init__.py
- test_action.py
- __init__.py
- test_search_models.py
- __init__.py
- test_simplifications.py
- test_syntax_transformations.py
- __init__.py
- test_utils.py
- .gitignore
- antlr4-tester.sh
- fstrips.g4
- build.py
- .gitattributes
- .gitignore
- .pre-commit-config.yaml
- .readthedocs.yml
- CHANGELOG.md
- HEADER
- LICENSE
- MANIFEST.in
- pyproject.toml
- README.md
- setup.py
- tox.ini
# Installation Guide
1. Get the code
git clone https://github.com/aig-upf/tarski
Downloads the entire project code from GitHub to your computer.
cd tarski
Moves into the project folder you just downloaded.
2. Python
Easy RecommendedPrerequisites
pip install .
Installs the package published on PyPI directly β no need to clone the source.
jupyter notebook
Launches Jupyter in your browser so you can open and run the notebook (.ipynb) files.
If it runs without errors and prints output in the terminal, it worked.
// repository documentation
Was this content helpful?
(0 ratings)