Beast code in Giters

Broes De Cat's repositories

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).

Language:C++LGPL-3.0700

Flatzinc-To-IDP

Transformation of flatzinc into the IDP knowledge representation language, based on the logic FO(ID, Agg, part, arith).

Language:C++LGPL-3.0200

AI-driven-Bomberman

Project to test some state of the art AI techniques and how they would apply to games.

Language:Java100

autotoolized-lua

Autoconf, automake and libtool enabled Lua

Language:CNOASSERTION100

Flatzinc-To-ECNF

Transformation of flatzinc into the Extended CNF format, input language of MinisatID

Language:C++LGPL-3.0100

linenoise

A small self-contained alternative to readline and libedit

Language:C100

minisat

A minimalistic and high-performance SAT solver with DPLL(T) support

Language:C++NOASSERTION100

genjava

RosJava message definition and serialization artifact generators.

Language:Python000

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.

Language:C++000

iiwa_stack

ROS Indigo/Kinetic metapackage for the KUKA LBR IIWA R800/R820 (7/14 Kg).

Language:JavaNOASSERTION000

msysgit

The msysGit repository. Please post all patches to the msysGit mailing list.

Language:C000