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

Flatzinc-To-IDP

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

AI-driven-Bomberman

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

Flatzinc-To-ECNF

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