2 Commits

Author	SHA1	Message	Date
Aina Niemetz	0a8baa0f0a	Update copyright headers. (#9736)	2023-05-09 18:06:18 +00:00
Alex Ozdemir	368f3c3ed6	ff: connect sub-theories to main solver & test (#9218) ... Organizing the PR a bit: we hook up the subtheories to TheoryFf we expose FF-related things via the C++/Pytohn API and SMT-LIB2 interface. we add a bunch of tests against these interfaces.	2022-12-16 16:36:41 +00:00