summaryrefslogtreecommitdiff
path: root/src/api/cpp/cvc5.h
AgeCommit message (Expand)Author
2021-10-27Python api documentation for sorts (#7440)yoni206
2021-10-25Java and python unit tests for mkCardinalityConstraint (#7486)Andrew Reynolds
2021-10-22Add missing methods to Solver.java (#7299)mudathirmahgoub
2021-10-21Make cardinality constraint a nullary operator (#7333)Andrew Reynolds
2021-10-21Working on windows builds (#7381)Gereon Kremer
2021-10-20api: Add Solver::mkSepEmp(). (#7432)Aina Niemetz
2021-10-20api: Improve documentation for special cases with nullary ops. (#7433)Aina Niemetz
2021-10-20api: Rename get(BV|FP)*Size functions for consistency. (#7428)Aina Niemetz
2021-10-15Python api documentation: Op, Grammar, Result, Enums (#7095)yoni206
2021-10-12fix deprecation of std::iterator (#7332)Ouyancheng
2021-10-06Change behaviour of Term::getRealValue() (#7316)Gereon Kremer
2021-10-04Add sygus examples to documentation (#7303)Gereon Kremer
2021-09-30Rename SmtEngine to SolverEngine. (#7282)Aina Niemetz
2021-09-30Integrate javadoc documentation (#7278)Gereon Kremer
2021-09-29[API] Update comments w.r.t. SymFPU, fix typos (#7263)Andres Noetzli
2021-09-17Use a single `NodeManager` per thread (#7204)Andres Noetzli
2021-09-14Add get-difficulty to the API (#7194)Andrew Reynolds
2021-09-14Support sygus version 2.1 command assume (#7081)Andrew Reynolds
2021-09-13Add Solver::isOutputOn() (#7187)Gereon Kremer
2021-09-09Add Solver::getOutput() (#7162)Gereon Kremer
2021-09-01Print response to get-model using the API (#7084)Andrew Reynolds
2021-09-01No longer use direct access to options in driver (#7094)Gereon Kremer
2021-08-30Add API function to obtain information about a single option (#6980)Gereon Kremer
2021-08-30python docs for Datatype-related classes (#7058)yoni206
2021-08-27Add Driver options (#7078)Gereon Kremer
2021-08-27Add missing methods to Solver API for models (#7052)Andrew Reynolds
2021-08-23api: Require size argument for mkBitVector. (#6998)Aina Niemetz
2021-08-20Make driver use options from the solver (#6930)Gereon Kremer
2021-08-20Add CVC5ApiOptionException (#6992)Gereon Kremer
2021-08-05Normalize val in BitVector(val_str, base) (#6955)Alex Ozdemir
2021-08-04Refactor managed streams (#6934)Gereon Kremer
2021-08-04Add API function to get list of option names (#6971)Gereon Kremer
2021-08-04[proof] Add getProof to API and use it in GetProofCommand (#6974)Haniel Barbosa
2021-07-31Perform statistics printing via the API (#6952)Gereon Kremer
2021-07-22Add std::vector<Term> Op:: getIndices() and operator[] for Op (#6397)mudathirmahgoub
2021-07-14Clean up option usage in command executor (#6844)Gereon Kremer
2021-06-16Make symfpu a required dependency. (#6749)Aina Niemetz
2021-06-09Update CVC4 URLs/macros (#6666)Andres Noetzli
2021-05-21Update to sygus standard output for check-synth responses (#6521)Andrew Reynolds
2021-05-20Minor improvements to the API (#6585)Gereon Kremer
2021-05-20Add more getters for api::Term (#6496)Gereon Kremer
2021-05-07Add support for datatype update (#6449)Andrew Reynolds
2021-04-27Use std::hash for API types (#6432)Gereon Kremer
2021-04-22Add API documentation for statistics (#6364)Gereon Kremer
2021-04-21Goodbye CVC4, hello cvc5! (#6371)Mathias Preiner
2021-04-21Add getNumIndices to Op (#6386)mudathirmahgoub
2021-04-20Add instantiation pool feature to the API (#6358)Andrew Reynolds
2021-04-15Rename occurrences of CVC4 to CVC5. (#6351)Aina Niemetz
2021-04-14Improve documentation for FP rounding mode, add bibliography (#6343)Gereon Kremer
2021-04-14Improve documentation for API exceptions (#6340)Gereon Kremer
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback