Report or block broesdecat
Contact Support about this user's behavior.Report abuse
DPLL(T)-based search algorithm for ground input supporting inductively defined concepts, finite domain constraints, pseudo-boolean aggregates and subtheory queries (polynomial hierarchy expressivity).
Transformation of flatzinc into the IDP knowledge representation language, based on the logic FO(ID, Agg, part, arith).
Forked from niklasso/minisat
A minimalistic and high-performance SAT solver with DPLL(T) support
Transformation of flatzinc into the Extended CNF format, input language of MinisatID
Project to test some state of the art AI techniques and how they would apply to games.
Forked from djerius/autotoolized-lua
Autoconf, automake and libtool enabled Lua