6 Commits

Author	SHA1	Message	Date
Aina Niemetz	0a8baa0f0a	Update copyright headers. (#9736)	2023-05-09 18:06:18 +00:00
Mathias Preiner	56e14c4639	Move public headers into top-level include directory. (#9555) ... This PR moves the public API headers into a top-level include directory. This makes it easier to find the public API of cvc5 and makes the install headers script obsolete. Fixes #9553 Fixes #9556	2023-03-07 23:39:29 +00: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
Andrew Reynolds	2f1483e2e3	Remove unecessary methods from the API (#8260) ... Removes checkEntailed from Solver. Removes isEntailed, isNotEntailed, isEntailedUnknown from Result. Removes isSubsortOf, isFunctionLike, getUninterpretedSortName, getSortConstructorName from Sort. Updates examples and unit tests.	2022-03-14 18:29:30 +00:00
yoni206	40272d5f3a	Translating API tests to Python — part 1 (#7597) ... This PR translates some of the API tests from here to Python. The other tests are translated in a private branch and will be added in a separate PR.	2021-11-16 18:56:37 +00:00