Pinned Repositories
AI-driven-Bomberman
Project to test some state of the art AI techniques and how they would apply to games.
autotoolized-lua
Autoconf, automake and libtool enabled Lua
Flatzinc-To-ECNF
Transformation of flatzinc into the Extended CNF format, input language of MinisatID
Flatzinc-To-IDP
Transformation of flatzinc into the IDP knowledge representation language, based on the logic FO(ID, Agg, part, arith).
genjava
RosJava message definition and serialization artifact generators.
geometry
Packages for common geometric calculations including the ROS transform library, "tf". Also includes ROS bindings for "bullet" physics engine and "kdl" kinematics/dynamics package.
iiwa_stack
ROS Indigo/Kinetic metapackage for the KUKA LBR IIWA R800/R820 (7/14 Kg).
linenoise
A small self-contained alternative to readline and libedit
minisat
A minimalistic and high-performance SAT solver with DPLL(T) support
Minisatid
DPLL(T)-based search algorithm for ground input supporting inductively defined concepts, finite domain constraints, pseudo-boolean aggregates and subtheory queries (polynomial hierarchy expressivity).
broesdecat's Repositories
broesdecat/Minisatid
DPLL(T)-based search algorithm for ground input supporting inductively defined concepts, finite domain constraints, pseudo-boolean aggregates and subtheory queries (polynomial hierarchy expressivity).
broesdecat/Flatzinc-To-IDP
Transformation of flatzinc into the IDP knowledge representation language, based on the logic FO(ID, Agg, part, arith).
broesdecat/AI-driven-Bomberman
Project to test some state of the art AI techniques and how they would apply to games.
broesdecat/autotoolized-lua
Autoconf, automake and libtool enabled Lua
broesdecat/Flatzinc-To-ECNF
Transformation of flatzinc into the Extended CNF format, input language of MinisatID
broesdecat/linenoise
A small self-contained alternative to readline and libedit
broesdecat/minisat
A minimalistic and high-performance SAT solver with DPLL(T) support
broesdecat/genjava
RosJava message definition and serialization artifact generators.
broesdecat/geometry
Packages for common geometric calculations including the ROS transform library, "tf". Also includes ROS bindings for "bullet" physics engine and "kdl" kinematics/dynamics package.
broesdecat/iiwa_stack
ROS Indigo/Kinetic metapackage for the KUKA LBR IIWA R800/R820 (7/14 Kg).
broesdecat/msysgit
The msysGit repository. Please post all patches to the msysGit mailing list.