Popular repositories Loading

1. sibylsat sibylsat Public

   C++ 1

2. artificial_intelligence artificial_intelligence Public

   JavaScript

3. sudoku-solver sudoku-solver Public

   My implementation of a sudoku solver in C++ with SDL.

   C++

4. SAT_planner SAT_planner Public

   Java

5. pddl4j-rantanplan pddl4j-rantanplan Public

   Forked from pellierd/pddl4j

   PDDL4J is an open source library under LGPL license whose purpose of PDDL4J is to facilitate the development of JAVA tools for Automated Planning based on PDDL language (Planning Domain Description…

   Java

6. lilotane_SMT_CSP lilotane_SMT_CSP Public

   C++