summaryrefslogtreecommitdiff
path: root/src/theory/arith/inference_manager.cpp
AgeCommit message (Expand)Author
2021-04-14Refactor / reimplement statistics (#6162)Gereon Kremer
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-02-19Cleanup of inferences in arithmetic theory (#5927)Gereon Kremer
2021-02-18Add statistic for InferenceId to TheoryInferenceManager. (#5913)Gereon Kremer
2021-02-11Add InferenceId member to TheoryInference, adapt all derived classes. (#5894)Gereon Kremer
2021-02-01Eliminate PREPROCESS lemma property (#5827)Andrew Reynolds
2020-12-17Always consider rewritten lemmas for caching. (#5696)Gereon Kremer
2020-12-07Add bitwise refinement mode for IAND (#5328)makaimann
2020-11-20Allow to pass ProofGenerator to arithmetic inference manager. (#5488)Gereon Kremer
2020-10-30Use BoundInference in nonlinear extension (#5359)Gereon Kremer
2020-10-07Make sure conflicts are not rewritten (in arithmetic) (#5219)Gereon Kremer
2020-09-26Use inference manager for nl_solver (#5125)Gereon Kremer
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-09-17Use new inference manager in transcendental solver (#5022)Gereon Kremer
2020-09-04Use arith::InferenceManager for CAD lemmas (#5015)Gereon Kremer
2020-09-03Basic integration of arith::InferenceManager (#4999)Gereon Kremer
2020-09-02Use std::unique_ptr instead of std::shared_ptr for inference manager (#5003)Gereon Kremer
2020-09-02Add ArithLemma and arith::InferenceManager (#4960)Gereon Kremer
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback