// = new FakeSolver(); //= new JenyaRomaSolver(new FakeOpLog()); static void Main(string[] args) { AppDomain.CurrentDomain.UnhandledException += (sender, a) => { Console.Error.WriteLine("Unhandled exception: " + a.ExceptionObject); Environment.Exit(31337); }; var srcPath = args.SingleOrDefault(a => a.StartsWith("--src="))?.Substring(6); var tgtPath = args.SingleOrDefault(a => a.StartsWith("--tgt="))?.Substring(6); var tracePath = args.Single(a => a.StartsWith("--trace=")).Substring(8); var tgtMatrix = tgtPath == null ? null : MatrixDeserializer.Deserialize(File.ReadAllBytes(tgtPath)); var srcMatrix = srcPath == null ? null : MatrixDeserializer.Deserialize(File.ReadAllBytes(srcPath)); var trace = Solver.Solve(srcMatrix, tgtMatrix); if (trace == null) { return; } var traceBytes = TraceBinarySerializer.Create().Serialize(trace); File.WriteAllBytes(tracePath, traceBytes); }
public static void Main(string[] args) { var modelFilePath = @"\\vm-dev-cont1\c$\data\problemsF\FA019_tgt.mdl"; var mongoOplogWriter = new JsonOpLogWriter(new MongoJsonWriter()); var jenyaRomaSolver = new JenyaRomaSolver(mongoOplogWriter); var tgtMatrix = MatrixDeserializer.Deserialize(File.ReadAllBytes(modelFilePath)); var trace = jenyaRomaSolver.Solve(srcMatrix: null, tgtMatrix: tgtMatrix); var traceBytes = TraceBinarySerializer.Create().Serialize(trace); File.WriteAllBytes(@"FA019.nbt", traceBytes); }
public byte[] CreateResultTrace() { return(TraceBinarySerializer.Create().Serialize(new Trace(allCommands))); }