diff options
| author | Alex Ozdemir <aozdemir@hmc.edu> | 2020-09-01 10:57:51 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-01 14:57:51 -0300 |
| commit | 58f059a967ccb968f127b2d56f69c20700a943fb (patch) | |
| tree | 86dc604488e7faa371020b59283339ee8bce3714 /contrib | |
| parent | a276c5259782f867584bdd5e6e5cd50adc3c5dae (diff) | |
Add arithmetic-specific, runtime, proof-macros. (#4992)
We'll use this to gate farkas-coefficient machinery after we remove the
old proof-macros.
I've changed the macros slightly from the proof-new branch: I removed the dependence on options::proof() (no longer wanted) and options::unsatCores() (I had copied this from the original proof macros, but it's not needed either, since we're in a theory).
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions