broesdecat/Minisatid broesdecat/Minisatid

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    C++
  • License
    GNU Lesser Genera...
  • Created over 13 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
broesdecat/Minisatid
github

broesdecat

Reviews

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

Repository Details

DPLL(T)-based search algorithm for ground input supporting inductively defined concepts, finite domain constraints, pseudo-boolean aggregates and subtheory queries (polynomial hierarchy expressivity).

More Repositories

1

Flatzinc-To-IDP

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

AI-driven-Bomberman

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

Flatzinc-To-ECNF

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