9 projects
fond-utils
FOND Utilities and Helpers
l2p
Library to connect LLMs and planning tasks
pddl
PDDL parser
pddl-utils
Library of miscellaneous utilies to work with PDDL (both in Python and on the command line).
planutils
General library for setting up linux-based environments for developing, running, and evaluating planners.
macq
Action model acquisition from state trace data.
bauhaus
Build logical theories for SAT solvers on the fly
nnf
Manipulate NNF (Negation Normal Form) logical sentences
prewl
General library wrapping and calling LLMs for prompt engineering.
