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.");
}
