5 Commits

Author	SHA1	Message	Date
mudathirmahgoub	12293a35d5	Add Relation and Table types to SMTLib parser (#8605)	2022-04-13 13:54:27 -05:00
Mathias Preiner	d01e59c13b	Update copyright headers for release 1.0 (#8539)	2022-04-05 20:38:57 +00:00
Mathias Preiner	bbcd471ed4	Introduce internal namespace and remove api namespace. (#8443) ... The public cvc5 API now lives in the cvc5 namespace. All internal parts were moved into the (new) internal namespace. The final hierarchy will be as follows: cvc5 ~~ public API ::context ::internal ::parser ::main After this PR it will be: cvc5 ~~ public API ::internal ::context ::main ::parser	2022-03-29 23:23:01 +00:00
Mathias Preiner	4a58ed7daf	api: Unify mkTerm variants. (#8357)	2022-03-22 00:22:41 +00:00
mudathirmahgoub	437c346559	Add relations.cpp, relations.py examples (#7801)	2021-12-17 19:23:16 +00:00