diff options
Diffstat (limited to 'test/regress/regress0/arith/miplibtrick.smt')
-rw-r--r-- | test/regress/regress0/arith/miplibtrick.smt | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/regress/regress0/arith/miplibtrick.smt b/test/regress/regress0/arith/miplibtrick.smt new file mode 100644 index 000000000..93cd6d219 --- /dev/null +++ b/test/regress/regress0/arith/miplibtrick.smt @@ -0,0 +1,11 @@ +(benchmark miplibtrick + :status sat + :logic QF_LRA + :extrafuns ((tmp1 Real)) + :extrapreds ((x177)) + + :formula( and + ( implies ( and ( not x177 ) true ) ( = tmp1 0 ) ) + ( implies ( and x177 true ) ( = tmp1 (~ 350) ) ) + ) +) |