Introduce inference ids for quantifier instantiation (#6119)
[cvc5.git] / src / theory / quantifiers / quantifiers_inference_manager.cpp
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081)
2021-02-18 Gereon KremerAdd statistic for InferenceId to TheoryInferenceManager...
2021-02-08 Andrew ReynoldsUse quantifiers inference manager for lemma management...
2021-01-26 Andrew ReynoldsIntroduce quantifiers inference manager (#5821)