vonwenm / minisatid Goto Github PK
View Code? Open in Web Editor NEWThis project forked from 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).
Home Page: dtai.cs.kuleuven.be/krr/software/minisatid
License: GNU Lesser General Public License v3.0