6 projects
macq
Action model acquisition from state trace data.
planutils
General library for setting up linux-based environments for developing, running, and evaluating planners.
pddl
PDDL parser
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.