broesdecat/msysgit
The msysGit repository. Please post all patches to the msysGit mailing list.
Developer Profile
broesdecat
Discovered public repositories for broesdecat in the GitHub catalog.
broesdecat/linenoise
A small self-contained alternative to readline and libedit
broesdecat/autotoolized-lua
Autoconf, automake and libtool enabled Lua
broesdecat/AI-driven-Bomberman
Project to test some state of the art AI techniques and how they would apply to games.
broesdecat/Flatzinc-To-IDP
Transformation of flatzinc into the IDP knowledge representation language, based on the logic FO(ID, Agg, part, arith).
broesdecat/Flatzinc-To-ECNF
Transformation of flatzinc into the Extended CNF format, input language of MinisatID
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/minisat
A minimalistic and high-performance SAT solver with DPLL(T) support