A Python library for Planning Modulo Theories using SMT
Install the package using pip:
python -m pip install .
To see the list of input arguments, type
pypmtcli -h
To run pyPMT on a problem from the CLI, type, e.g.,
pypmtcli --seq --bound 3 --domain path_to_domain.pddl --problem path_to_problem.pddl
To produce an SMT-LIB encoding of the problem (instead of solving it), type, e.g.
pypmtcli --seq --bound 3 --domain path_to_domain.pddl --problem path_to_problem.pddl --dump output.smt2
pyPMT can be used as a library too. See here for some examples.
Further documentation is available here.
Mustafa F Abdelwahed Joan Espasa Arxer Francesco Leofante
Do not hesitate to contact us if you have problems using pyPMT, or if you find bugs :)