Popular repositories Loading

1. rantanplan-public rantanplan-public Public

   RanTanPlan is a planner that supports numeric fluents and uses a planning as SMT approach.

   C 8 1

2. vim-eprime vim-eprime Public

   vim syntax files for the Essence prime language

   Vim Script 1

3. essenceofcp essenceofcp Public

   The Essence of Constraint Programming

   TeX 1

4. dotfiles dotfiles Public

   My personal dotfiles

   Emacs Lisp

5. py3antlr4book py3antlr4book Public

   Forked from jszheng/py3antlr4book

   Covert ANTLR4 book source code to Python3 version.

   Python

6. axiom_benchmarks axiom_benchmarks Public

   Forked from dosydon/axiom_benchmarks

   PDDL planning problems with derived predicates and axioms.

   C++