Commit cace9b38 authored by Vladislav Kiselev's avatar Vladislav Kiselev

Forgotten exception and another format of calling minizinc.

parent 65d7de9b
package inport;
public class ConversionException extends Exception {
ConversionException(String mess) {
super(mess);
}
}
...@@ -51,22 +51,18 @@ public class Main { ...@@ -51,22 +51,18 @@ public class Main {
long start = System.currentTimeMillis(); long start = System.currentTimeMillis();
Process p = Runtime.getRuntime().exec("minizinc --solver Chuffed " + constraints + " " + minizincData); ProcessBuilder pb = new ProcessBuilder("minizinc",
p.waitFor(); "--solver", "Chuffed",
constraints, minizincData,
"-o", solverResults);
Process process = pb.start();
int exitCode = process.waitFor();
assert exitCode == 0;
long finish = System.currentTimeMillis(); long finish = System.currentTimeMillis();
System.out.println((finish - start) + " milliseconds"); System.out.println((finish - start) + " milliseconds");
try (FileWriter res = new FileWriter(solverResults)) {
BufferedReader reader = new BufferedReader(new InputStreamReader(p.getInputStream()));
String line;
while ((line = reader.readLine()) != null) {
res.write(line + "\n");
}
}
ConversionUtil.resolveMiniZincResults(task, solverResults); ConversionUtil.resolveMiniZincResults(task, solverResults);
task.serialize(fileName); task.serialize(fileName);
} catch (IOException | InterruptedException ex) { } catch (IOException | InterruptedException ex) {
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment