AIMA.Test.Core.Unit.Logic.Propositional.Algorithms.DPLLTest.testDPLLSucceedsWithStackOverflowBugReport1 C# (CSharp) Метод

        public void testDPLLSucceedsWithStackOverflowBugReport1()
        {
            Sentence sentence = (Sentence)parser
                    .parse("((A OR (NOT A)) AND (A OR B))");
            Assert.IsTrue(dpll.dpllSatisfiable(sentence));
        }