CNFifyTests.CNFifyTestClass.theWholeShebang_Simple_term_returns_SAT C# (CSharp) Метод

        public void theWholeShebang_Simple_term_returns_SAT()
        {
            CNFify.Term T = CNFify.Term.NewAnd(a, b);

            var result = CNFify.theWholeShabang(T);

            var list = ListModule.OfSeq(new List<Tuple<string, bool>>
            {
                new Tuple<string, bool>("a", true),
                new Tuple<string, bool>("b", true)

            });

            Assert.AreEqual(CNFify.satResult.NewSAT(list), result);
        }