Shrey Aryan issues

Repositories
Issues
Comments

Results 1 issues of


                                            Shrey Aryan

Why does the integral work when the lower bound is 0?

Consider the following SMT2 file, ` (set-logic QF_NRA_ODE) (declare-fun x () Real) (declare-fun x_0 () Real [0,10]) (declare-fun x_1 () Real [0,10]) (declare-fun x_2 () Real [0,10]) (declare-fun x_3 ()...