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

0 lines

0 B

C++

Raw Permalink Blame History

The file is empty.