description |
The solver need to be compiled in the root folder by running
“./starexec build”. The running command is: “./starexec run default $1” in folder “./bin”. The parameter $1 is the absolute path of input
?le. For a given input ?le ”?/sc/a.smt”, the call command is ”./starexec run default ?/sc/a.smt ”. |