5 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
Andrew Reynolds	27d6f4b241	Add getNamedTerms to symbol manager API (#11233) ... Co-authored-by: mudathirmahgoub <mudathirmahgoub@gmail.com>	2024-09-30 14:27:49 +00:00
Andrew Reynolds	2923715aa6	Add declarations interface to SymbolManager (#10473) ... Partially addresses https://github.com/cvc5/cvc5/discussions/10454.	2024-03-19 18:39:35 +00:00
Aina Niemetz	fdf9ce7138	Update copyright headers. (#10459)	2024-03-12 09:35:09 -07:00
mudathirmahgoub	115d3d200b	Add parser to the java api (#10088)	2023-11-28 11:53:30 -06:00