Closed akaph2p closed 10 months ago
Hi,
I am trying to run dReal using the WSL Ubuntu command line. I have installed all necessary packages, but im unable to run dReal for an smt2 file.
I am not experienced with using the command line, so please pardon my ignorance.
This is my code, but i receive an error stating that 'dReal command not found' .
abk80@MEMS-COLE-2:/mnt/c/Users/abk80/dreal4$ dReal testfile -bash: dReal: command not found
Hi,
I am trying to run dReal using the WSL Ubuntu command line. I have installed all necessary packages, but im unable to run dReal for an smt2 file.
I am not experienced with using the command line, so please pardon my ignorance.
This is my code, but i receive an error stating that 'dReal command not found' .