diff options
| author | Alex Ozdemir <aozdemir@hmc.edu> | 2020-01-21 15:05:52 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-21 15:05:52 -0800 |
| commit | 3de5e8df6a6adcd0efe51db9d9eadad284ad3a64 (patch) | |
| tree | 0405a366343689b610e988841a924c29b9fd6841 /src/theory | |
| parent | d99fc9153d8260cfc6dd2aa7d2a2ea96ab5c4925 (diff) | |
Types and side conditions for affine bounds (#3631)
* Types and side conditions for affine bounds
Bounds (being positive, non-negative) actually have an arithmetic.
This PR defines that.
Useful b/c Farkas proofs are basically just sums of bounded affine
functions.
* Address Yoni's comments. Thanks!
* Moved a positivity-test to th_real
* Describe what an affine bound is in better detail
Diffstat (limited to 'src/theory')
0 files changed, 0 insertions, 0 deletions