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"));
}
