Manyu Kapuria

I am running Docker on windows 10. I have succesfully ran smt2 files using dreal like so ```bash docker run --rm -v "/c/Users/user:/tmp" dreal/dreal3 dReal /tmp/bouncingball.smt2 delta-sat with delta =...

I am running Docker on windows 10. I have succesfully ran smt2 files using dreal like so ```bash docker run --rm -v "/c/Users/user:/tmp" dreal/dreal3 dReal /tmp/bouncingball.smt2 delta-sat with delta =...

Undefined variables in examples

1

Hi, trying to run the differential_equation_tutorial.py example on WSL (Ubuntu 20.04). I run into this error: ``` f: [-x0+sin(x0)] Traceback (most recent call last): File "", line 1, in runfile('/mnt/c/Users/user/OneDrive...