cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Age	Commit message (Expand)	Author
2020-09-04	Add asLemma flag to theory inference process (#5030)	Andrew Reynolds
2020-09-03	Update sets inference manager to inherit from InferenceManagerBuffered (#5007)	Andrew Reynolds
2020-09-02	Minor updates to theory inference manager (#5004)	Andrew Reynolds
2020-09-02	Use std::unique_ptr instead of std::shared_ptr for inference manager (#5003)	Gereon Kremer
2020-09-02	Add ArithLemma and arith::InferenceManager (#4960)	Gereon Kremer
2020-09-01	Add TheoryInference base class (#4990)	Andrew Reynolds
2020-08-31	Add the inference manager for datatypes (#4968)	Andrew Reynolds
2020-08-27	Add the buffered inference manager (#4954)	Andrew Reynolds