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

语言：C++ · GitHub 星标：7 · Fork：1

在 GitHub 上查看原仓库