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