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

..

boilerplate.py

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

CMakeLists.txt

ff: connect sub-theories to main solver & test (#9218)

2022-12-16 16:36:41 +00:00

finite_field.py

ff: connect sub-theories to main solver & test (#9218)

2022-12-16 16:36:41 +00:00

issue4889.py

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

issue5074.py

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

issue6111.py

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

proj-issue306.py

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

reset_assertions.py

More preparation for strict type rules (#8733)

2022-05-07 02:22:12 +00:00

sep_log_api.py

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

two_solvers.py

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00