projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Introduce quantifiers inference manager (#5821)
[cvc5.git] / src / theory / shared_solver_distributed.cpp
2020-12-03 Aina NiemetzUpdate copyright headers. blob | commitdiff | raw
2020-10-02 Andrew Reynolds(proof-new) Make shared solver proof producing (#5169) blob | commitdiff | raw | diff to current
2020-09-30 Andrew ReynoldsDynamic allocation of equality engine for shared solver... blob | commitdiff | raw | diff to current
2020-09-18 Andrew ReynoldsAdd the shared solver (#4982) blob | commitdiff | raw | diff to current