Pinned Repositories
api-tools
Tools for interacting with the Planning.Domains API
automata
A Python library for simulating finite automata and Turing machines
build-pynini-wheels
Build `manylinux2014_x86_64` Python wheels for `pynini`, wrapping all its dependencies.
cf2cs
cf2cs: Conformant planning to Classical planning
downward
The Fast Downward domain-independent classical planning system
fast-forward-linux-binaries
Linux binaries for the Fast-Forward planning system that accepts PDDL domain and problems
FILM
Official repository of ICLR 2022 paper FILM: Following Instructions in Language with Modular Methods
pddl-generators
Unofficial collection of PDDL generators, some of which have been used to generate benchmarks for the International Planning Competitions (IPC).
prime-implicate
Get prime implicate form of CNF in a DIMACS-like format
translation-based-planners
Translation-based conformant planners
hectorpal's Repositories
hectorpal/cf2cs
cf2cs: Conformant planning to Classical planning
hectorpal/translation-based-planners
Translation-based conformant planners
hectorpal/pddl-generators
Unofficial collection of PDDL generators, some of which have been used to generate benchmarks for the International Planning Competitions (IPC).
hectorpal/prime-implicate
Get prime implicate form of CNF in a DIMACS-like format
hectorpal/fast-forward-linux-binaries
Linux binaries for the Fast-Forward planning system that accepts PDDL domain and problems
hectorpal/api-tools
Tools for interacting with the Planning.Domains API
hectorpal/automata
A Python library for simulating finite automata and Turing machines
hectorpal/build-pynini-wheels
Build `manylinux2014_x86_64` Python wheels for `pynini`, wrapping all its dependencies.
hectorpal/downward
The Fast Downward domain-independent classical planning system
hectorpal/FILM
Official repository of ICLR 2022 paper FILM: Following Instructions in Language with Modular Methods
hectorpal/hammerspoon-config
My personal Hammerspoon setup
hectorpal/hectorpal.github.io
Hector Palacios
hectorpal/libminizinc
The MiniZinc compiler
hectorpal/outlines
Structured Text Generation
hectorpal/planutils
General library for setting up linux-based environments for developing, running, and evaluating planners.
hectorpal/pymzn
A Python wrapper for the MiniZinc tool pipeline.
hectorpal/sandra-hector-2023.github.io
Our Wedding Website 👫
hectorpal/tarski
Tarski - An AI Planning Modeling Framework
hectorpal/treewidth-exact
hectorpal/word_cloud
A little word cloud generator in Python