public override string solve() { String flatzinc_path = instance_path.Substring(0, instance_path.Length - 4) + ".fzn"; String ozn_path = instance_path.Substring(0, instance_path.Length - 4) + ".ozn"; //long rand_seed = DateTime.Now.Ticks / TimeSpan.TicksPerMillisecond; //rand_seed = rand_seed % 100000; String result; MiniZincInterface.ExecCommand(MiniZincInterface.mzn2fzn_path, instance_path); result = MiniZincInterface.ExecCommand(MiniZincInterface.or_tools_path, flatzinc_path); return(MiniZincInterface.ExecCommand(MiniZincInterface.solns2out_path, ozn_path, result)); }
public override string solve() { return(MiniZincInterface.ExecCommand(MiniZincInterface.mzinc_path, instance_path)); }