6 Commits

Author	SHA1	Message	Date
Aina Niemetz	0647c4c107	Update copyright headers. (#11561) ... Co-authored-by: Daniel Larraz <daniel-larraz@users.noreply.github.com>	2025-01-23 17:54:20 +00:00
Aina Niemetz	354fc4147e	Java API: Refactor to expose TermManager. (#10531) ... This is related to the previous refactor of the C++ API in https://github.com/cvc5/cvc5/pull/10426.	2024-04-02 16:42:06 +00:00
Aina Niemetz	fdf9ce7138	Update copyright headers. (#10459)	2024-03-12 09:35:09 -07:00
Sarkoxed	3185d5c293	cpp api: Extend the FiniteField related initialization functions (#9926) ... This adds a general way to initialize the finite field and the element of the final field in the C++ API from a string of an arbitrary base. --------- Signed-off-by: Sarkoxed <sarkoxed2013@yandex.ru> Co-authored-by: Aina Niemetz <aina.niemetz@gmail.com>	2023-12-13 22:21:14 +00:00
Aina Niemetz	0a8baa0f0a	Update copyright headers. (#9736)	2023-05-09 18:06:18 +00:00
Alex Ozdemir	2f62d612ce	fix ff coverage (#9381)	2023-01-05 15:43:49 -06:00