Blai Bonet's repositories
mdp-engine
Automatically exported from code.google.com/p/mdp-engine
cp2fsc-and-replanner
Automatically exported from code.google.com/p/cp2fsc-and-replanner
canonical-coloring
Implementation of canonical coloring (coarsest equitable partition) algorithm for digraphs
gpt-rewards
Automatically exported from code.google.com/p/gpt-rewards
learner-strips
Learn STRIPS action models from state graphs (SAT and ASP)
rollout-iw
Rollout IW implementation
hsp-planners
Automatically exported from code.google.com/p/hsp-planners
belief-tracking
Automatically exported from code.google.com/p/belief-tracking
dnnf-models
Automatically exported from code.google.com/p/dnnf-models
ANYCSP
Fork of ANYCSP repo
asp-planner
Automatically exported from code.google.com/p/asp-planner
aws-cli
Universal Command Line Interface for Amazon Web Services
bonetblai.github.io
Web page
mcdsat
Automatically exported from code.google.com/p/mcdsat
np2pddl
Automatically exported from code.google.com/p/np2pddl
pddl-generators
A collection of PDDL generators, some of which have been used to generate benchmarks for the International Planning Competition (IPC).
pyperplan
A lightweight STRIPS planner written in Python.
sat-engine
Support for development of reductions to SAT and UP-based inference (w/ watched literals)
spinningup
An educational resource to help anyone learn deep reinforcement learning.
stable-baselines3
PyTorch version of Stable Baselines, reliable implementations of reinforcement learning algorithms.
weisfeiler-leman
Implementation of algorithms that compute the Weisfeiler-Leman coloring for directed graphs with vertex and edge colors.