static void SA(TwoSat twoSat) { bool isSat; int count; TimeSpan timeSpan; int[] solution = twoSat.SimulatedAnnealing(out isSat, out count, out timeSpan); outputData(isSat, solution, timeSpan); }
static void bruteForce(TwoSat twoSat) { bool isSat; int count; TimeSpan timeSpan; int[] solution = twoSat.FindSolutionBacktracking(out isSat, out count, out timeSpan); outputData(isSat, solution, timeSpan); }
static void Main(string[] args) { TwoSat twoSat = new TwoSat(); twoSat.ReadFile(); string opt; do { Console.WriteLine("Press 1 for backtracking."); Console.WriteLine("Press 2 for Simulated Annealing."); opt = Console.ReadLine(); if (opt.Equals("1")) { bruteForce(twoSat); } else if (opt.Equals("2")) { SA(twoSat); } Console.WriteLine("Do you wish to try with another algorithm?(y/n)"); opt = Console.ReadLine(); } while (opt.Equals("y")); }