Popular repositories Loading

1. credis credis Public

   Forked from scraton/credis

   Extremely simplified credis library purely for reporting tools.

   C

2. AI_Planning_Benchmarks AI_Planning_Benchmarks Public

   putting all the AI Planning benchmarks I've come across recently in one place

3. ayPlan ayPlan Public

   A cost-optimal planning tool for deterministic planning problems. This includes a reference PDDL parser written using YACC and LEX. This includes a basic cost-optimal planning tool that proceeds mo…

   PDDL

4. nonmarkovian-reward-decision-theoretic-planner nonmarkovian-reward-decision-theoretic-planner Public

   Reference implementation of all known algorithms for solving non-Markovian Reward Decision-Theoretic Planning circa 2003/04.

   C++

5. decision-theoretic-planning-domain-definition-language-with-solver decision-theoretic-planning-domain-definition-language-with-solver Public

   Decision-Theoretic Planning Domain Definition Language reference implementation and planner associated with the Framework Program 7 COGX Project

   C++

6. cnfgraphs_vibe cnfgraphs_vibe Public

   playing with primal graphs via vibe coding

   Python