Source

lp_solve / lp_solve / cvc6d.bat

Full commit
call cvc6 -DParanoia %1