6 projects
pddl
PDDL parser
bauhaus
Build logical theories for SAT solvers on the fly
planutils
General library for setting up linux-based environments for developing, running, and evaluating planners.
macq
Action model acquisition from state trace data.
nnf
Manipulate NNF (Negation Normal Form) logical sentences
prewl
General library wrapping and calling LLMs for prompt engineering.
