public void Aspect_Based_Problem_Solving_Should_Yield_Solution()
{
using (var ps = new AspectBasedSudokuProblemSolver("Sudoku Problem Solver"))
{
Assert.True(ps.TryResolve());
Assert.NotNull(ps.Solution);
ps.Solution.PrettyPrint(OutputHelper.WriteLine);
}
}
public void Verify_that_aspect_yields_solution()
{
using (var ps = new AspectBasedSudokuProblemSolver("Sudoku Problem Solver"))
{
Assert.That(ps.TryResolve());
Assert.That(ps.Solution, Is.Not.Null);
ps.Solution.PrettyPrint(Console.Out);
}
}
