9 projects
fond-utils
FOND Utilities and Helpers
planutils
General library for setting up linux-based environments for developing, running, and evaluating planners.
pddl
PDDL parser
l2p
Library to connect LLMs and planning tasks
pddl-utils
Library of miscellaneous utilies to work with PDDL (both in Python and on the command line).
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.
