summaryrefslogtreecommitdiff
path: root/src/theory/quantifiers_engine.cpp
AgeCommit message (Expand)Author
2012-07-27merging fmf-devel branch, includes refactored datatype theory, updates to mod...Andrew Reynolds
2012-07-27Merge quantifiers2-trunk:François Bobot
2012-07-12merged fmf-devel branch, includes support for SMT2 command get-value and (ext...Andrew Reynolds
2012-06-14The "no-tears-in-competition-mode" commit. Change all (non-driver, non-SAT-s...Morgan Deters
2012-06-11Merge from quantifiers2-trunkmerge branch.Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback