public void AllSatTest() { Bdd var1 = new Bdd(1); Bdd var2 = new Bdd(2); Bdd result = Kernel.Or(var1, var2); string expected = "var1=0 var2=1 " + Environment.NewLine + "var1=1 " + Environment.NewLine; string actual = Kernel.AllSat(result); Assert.AreEqual(expected, actual, "BddSharp.Kernel.Kernel.AllSat did not return the expected value."); }