del raw_result.txt
del result.txt

java -classpath "../out/production/Conversion" inport.Main to_MiniZinc in.ipp conversion_0.dzn

minizinc --solver Gecode "../constraints/conversion_0.mzn" conversion_0.dzn >> raw_result.txt

java -classpath "../out/production/Conversion" inport.Main resolve_result in.ipp raw_result.txt result.txt