AIMA.Test.Core.Experiment.Logic.Propositional.Algorithms.WalkSATTest.testWalkSat C# (CSharp) Méthode

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