4 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	f463df8baa	java api: Add missing hash/equals and tests for (Synth)Result. (#11021)	2024-07-10 17:54:35 +00:00
Aina Niemetz	a1e0aeb78c	test: cpp api: Add tests for uncovered functions. (#11019)	2024-07-09 21:24:26 +00:00
Aina Niemetz	a537abf173	c api: Add more sygus and synthesis result related functions. (#10930)	2024-06-29 04:59:21 +00:00