search

dreal / dreal4

Automated Reasoning in Nonlinear Theories of Reals
https://dreal.github.io
Apache License 2.0
150 stars 31 forks source link

How to run dReach from Docker #310

Open akaph2p opened 10 months ago

akaph2p commented 10 months ago

I am running Docker on windows 10. I have succesfully ran smt2 files using dreal like so

docker run --rm -v "/c/Users/user:/tmp" dreal/dreal3 dReal /tmp/bouncingball.smt2
delta-sat with delta = 0.00100000000000000

how do I run dReach for this file? when i try to call dReach it gives me the following errors:

docker run --rm -v "/c/Users/user:/tmp" dreal/dreal3 dReach /tmp/bouncingball.drh
docker: Error response from daemon: failed to create task for container: failed to create shim task: OCI runtime create failed: runc create failed: unable to start container process: exec: "dReach": executable file not found in $PATH: unknown.