broesdecat/AI-driven-Bomberman broesdecat/AI-driven-Bomberman

  • Stars
    star
    1
  • Language
    Java
  • Created about 13 years ago
  • Updated about 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
broesdecat/AI-driven-Bomberman
github

broesdecat

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

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).
C++
7
star
2

Flatzinc-To-IDP

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

Flatzinc-To-ECNF

Transformation of flatzinc into the Extended CNF format, input language of MinisatID
C++
1
star