diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-07-07 16:02:10 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-07-07 16:02:10 +0000 |
| commit | 26c1b20086b26da79d938057b7761de95fabf731 (patch) | |
| tree | b843f95b9219891ac72cab1b1d0fefc6ce505939 /src/theory/arith/slack.h | |
| parent | 327b4bf823a8077930bdc9bf4ae7903087ee06ba (diff) | |
Fixing test plus-mult.cvc by making it linear (Fixes: #184)
Diffstat (limited to 'src/theory/arith/slack.h')
0 files changed, 0 insertions, 0 deletions