public void theWholeShebangFalse_returns_UNSAT() { // (a ∧ !a) results in UNSAT var T = CNFify.Term.NewAnd(a, CNFify.Term.NewNot(a)); var result = CNFify.theWholeShabang(T); var expected = CNFify.satResult.UNSAT; Assert.AreEqual(expected, result); }