2 Commits

Author	SHA1	Message	Date
Aina Niemetz	2c862d3de4	examples: Enable FF examples when built with cocoa. (#10121)	2023-10-25 19:30:59 +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