我使用Runtime.getRuntime()。exec()方法运行' optimathsat.exe'文件。我的代码就像
public boolean runOptimathSat() throws InterruptedException {
boolean runSucceed = false;
smtInputFileDirectory = getInputDirectory();
txtOutputFileDirectory = getOutputDirectory();
optimathsatDirectory = getOptimathSatDirectory();
if ((smtInputFileDirectory != null) && (txtOutputFileDirectory != null)
&& (optimathsatDirectory != null)) {
if (isWindows()) {
String winCommand;
winCommand = "cmd /c cd " + optimathsatDirectory + " && optimathsat.exe -opt.print_objectives=True -opt.output_format=old -optimization.card_constr_encoding=2 -optimization.dpll.search_strategy=1 -preprocessor.toplevel_propagation=False -preprocessor.simplification=0 < " + smtInputFileDirectory + " > " + txtOutputFileDirectory + " 2>& 1";
System.err.println("COMMAND: "+winCommand);
try {
Process p = Runtime.getRuntime().exec(winCommand);
p.waitFor();
runSucceed = true;
} catch (IOException e) {
e.printStackTrace();
}
return runSucceed;}
运行此代码后,它会在控制台
中显示以下行COMMAND: cmd /c cd "C:\Users\Karencom\OptiMathSAT\optimathsat-1.5.1-windows-64-bit-mingw\bin" && optimathsat.exe -opt.print_objectives=True -opt.output_format=old -optimization.card_constr_encoding=2 -optimization.dpll.search_strategy=1 -preprocessor.toplevel_propagation=False -preprocessor.simplification=0 < "C:/Users/Karencom/runtime-New_configuration/tetest/Optimathsat/bibi.smt2" > "C:/Users/Karencom/runtime-New_configuration/tetest/Optimathsat/bibi.txt" 2>& 1
并在bibi.txt文件中显示以下错误
'optimathsat.exe' is not recognized as an internal or external command, operable program or batch file.
但是,当我在一个单独的项目(只有一个类)中复制上面代码的某些行,并在winCommand变量中替换生成的命令时,它可以很好地工作。
import java.io.IOException;
public class Test {
public static void main(String[] args) throws InterruptedException {
// TODO Auto-generated method stub
try {
String winCommand="cmd /c cd"+ " \"C:\\Users\\Karencom\\OptiMathSAT\\optimathsat-1.5.1-windows-64-bit-mingw\\bin\" && optimathsat.exe -opt.print_objectives=True -opt.output_format=old -optimization.card_constr_encoding=2 -optimization.dpll.search_strategy=1 -preprocessor.toplevel_propagation=False -preprocessor.simplification=0 < \"C:/Users/Karencom/runtime-New_configuration/tetest/Optimathsat/sensen.smt2\" > \"C:/Users/Karencom/runtime-New_configuration/tetest/Optimathsat/sensen.txt\" 2>& 1";
Process p = Runtime.getRuntime().exec(winCommand);
p.waitFor();
System.err.println("COMMAND: "+winCommand);
} catch (IOException e) {
e.printStackTrace();
}
}
}
我猜第一个项目的配置不对,但我不知道如何解决它。
答案 0 :(得分:3)
您正在使用cmd
进行两件事:
不应使用cmd
,而应使用Java的ProcessBuilder
。
String[] winCommand = {
"optimathsat.exe",
"-opt.print_objectives=True",
"-opt.output_format=old",
"-optimization.card_constr_encoding=2",
"-optimization.dpll.search_strategy=1",
"-preprocessor.toplevel_propagation=False",
"-preprocessor.simplification=0"
};
Process p = new ProcessBuilder(winCommand)
.directory(new File(optimathsatDirectory)) // "cd " + optimathsatDirectory
.redirectInput(new File(smtInputFileDirectory)) // "< " + smtInputFileDirectory
.redirectOutput(new File(txtOutputFileDirectory)) // "> " + txtOutputFileDirectory
.redirectErrorStream(true) // 2>& 1
.start();
p.waitFor();