diff options
| author | Alex Ozdemir <aozdemir@hmc.edu> | 2020-06-28 05:51:31 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-28 07:51:31 -0500 |
| commit | cb68fa0f7b096bf086a7c7189e40805253ef1acf (patch) | |
| tree | 029c0d18cd3e9b0c722c852bb2d88255832e675d /src/theory/theory_model_builder.h | |
| parent | fa833542f0e96187b3a02c4e15ec33ba45428b62 (diff) | |
Proof Rules and Checker for Arithmetic (#4665)
This PR introduces proof rules for arithmetic and their checker.
The code is dead, since these rules are never used.
Diffstat (limited to 'src/theory/theory_model_builder.h')
0 files changed, 0 insertions, 0 deletions