AIMA.Test.Core.Experiment.Logic.Propositional.Algorithms.WalkSATTest.testWalkSat2 C# (CSharp) 메소드

	public void testWalkSat2() {
		WalkSAT walkSAT = new WalkSAT();
		Model m = walkSAT.findModelFor("( A AND (NOT B) )", 1000, 0.5);
		if (m == null) {
			System.Console.WriteLine("failure");
		} else {
			m.print();
		}
	}