1. Shlomi Fish
  2. lp_solve

Source

lp_solve / lp_solve / cvc6d.bat

call cvc6 -DParanoia %1