gaspard-quenard

Pinned Repositories

artificial_intelligence
Language:JavaScript00
htn_GUI
Language:Python00
LiftedTreePath
Language:SMT00
lilotane_SMT_CSP
Language:C++00
macro_action
Language:Common Lisp00
p5_prim_tree
Language:Python00
PDDL4J
Language:C++00
pddl4j-rantanplan
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 Language).
Language:Java00
SAT_planner
Language:Java00
sibylsat
Language:C++00

gaspard-quenard's Repositories

gaspard-quenard/artificial_intelligence
Language:JavaScript00
gaspard-quenard/htn_GUI
Language:Python00
gaspard-quenard/LiftedTreePath
Language:SMT00
gaspard-quenard/lilotane_SMT_CSP
Language:C++00
gaspard-quenard/macro_action
Language:Common Lisp00
gaspard-quenard/p5_prim_tree
Language:Python00
gaspard-quenard/PDDL4J
Language:C++00
gaspard-quenard/pddl4j-rantanplan
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 Language).
Language:Java00
gaspard-quenard/SAT_planner
Language:Java00
gaspard-quenard/sibylsat
Language:C++00
gaspard-quenard/sudoku-solver
My implementation of a sudoku solver in C++ with SDL.
Language:C++