projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Introduce quantifiers inference manager (#5821)
[cvc5.git] / src / theory / combination_engine.cpp
2020-10-02 Andrew Reynolds(proof-new) Make shared solver proof producing (#5169) blob | commitdiff | raw
2020-09-26 Andrew ReynoldsConnect the shared solver to theory engine (#5103) blob | commitdiff | raw | diff to current
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... blob | commitdiff | raw | diff to current
2020-09-20 Andrew ReynoldsMore flexible design for model manager distributed... blob | commitdiff | raw | diff to current
2020-09-12 Andrew Reynolds(proof-new) Update TheoryEngine lemma and conflict... blob | commitdiff | raw | diff to current
2020-09-01 Haniel BarbosaRemoves old proof code (#4964) blob | commitdiff | raw | diff to current
2020-08-28 Andrew Reynolds(proof-new) Make CombinationEngine proof producing... blob | commitdiff | raw | diff to current
2020-08-25 Andrew ReynoldsAdd the combination engine (#4939) blob | commitdiff | raw | diff to current