diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-09-17 00:22:20 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-16 22:22:20 -0700 |
| commit | 169a281ca849b7c9fcf61d9ece0c46f728a44cc2 (patch) | |
| tree | 0f3c3742f3153bf5556a2b09e8cf3381c39484dc /CMakeLists.txt | |
| parent | 14041ad14583f670bc03d5eef6535544d86fc9fc (diff) | |
Further standardization of datatypes (#5076)
We now have no custom calls to equality engine explain, and only 2 manual calls to equality engine (in its entailment check). This also updates the notify class to the standard one.
This commit makes datatypes ready to start work on proofs.
Diffstat (limited to 'CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions