diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-08-25 17:53:17 +0200 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-08-25 17:53:17 +0200 |
| commit | d9c22c34d122a34d8a8a914936d9186be9a638fe (patch) | |
| tree | 1228b16f08592f46e1424f3953f212e7a2d89cfd /src/theory/unconstrained_simplifier.h | |
| parent | 3a358738071a330efda34671655979edf1d6d875 (diff) | |
Use zero in cbqi when not using infinities.
Diffstat (limited to 'src/theory/unconstrained_simplifier.h')
0 files changed, 0 insertions, 0 deletions