diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-06-04 16:05:43 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-04 16:05:43 -0500 |
| commit | 760874731c70e2aa32c3591c67a08f3ea85dcafd (patch) | |
| tree | f16259f2221f57a765a3e67f77d12dd9a3a85f65 /src/prop/theory_proxy.h | |
| parent | 1d5b5b32ffe14c0f0d68d0b9a5ac36147588bfae (diff) | |
Miscellaneous changes from central ee branch (#6687)
Minor reorganization to make calls to theory engine from combination engine / shared solver more organized.
Diffstat (limited to 'src/prop/theory_proxy.h')
0 files changed, 0 insertions, 0 deletions