summaryrefslogtreecommitdiff
path: root/src/theory/combination_engine.cpp
AgeCommit message (Expand)Author
2021-07-29Integrate central equality engine approach into theory engine, add option and...Andrew Reynolds
2021-06-04Miscellaneous changes from central ee branch (#6687)Andrew Reynolds
2021-05-24Move proof utilities to src/proof/ (#6611)Andrew Reynolds
2021-05-10Unify top-level substitutions and model substitutions (#6499)Andrew Reynolds
2021-05-05Do not have quantifiers model inherit from theory model (#6493)Andrew Reynolds
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-01Rename namespace CVC5 to cvc5. (#6258)Aina Niemetz
2021-03-31Rename namespace CVC4 to CVC5. (#6249)Aina Niemetz
2021-03-09Some more cleanup of includes (#6083)Gereon Kremer
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2021-01-28Simplify lemma interface (#5819)Andrew Reynolds
2021-01-28Use standard equality engine information in quantifiers state (#5824)Andrew Reynolds
2020-10-02(proof-new) Make shared solver proof producing (#5169)Andrew Reynolds
2020-09-26Connect the shared solver to theory engine (#5103)Andrew Reynolds
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-09-20More flexible design for model manager distributed (#4976)Andrew Reynolds
2020-09-11(proof-new) Update TheoryEngine lemma and conflict to TrustNode (#5056)Andrew Reynolds
2020-09-01Removes old proof code (#4964)Haniel Barbosa
2020-08-28(proof-new) Make CombinationEngine proof producing (#4955)Andrew Reynolds
2020-08-25Add the combination engine (#4939)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback