48 TEST(SolverTest, Var) {  in TEST()  argument
58 TEST(SolverTest, NegatedVar) {  in TEST()  argument
69 TEST(SolverTest, UnitConflict) {  in TEST()  argument
78 TEST(SolverTest, DistinctVars) {  in TEST()  argument
91 TEST(SolverTest, DoubleNegation) {  in TEST()  argument
101 TEST(SolverTest, NegatedDisjunction) {  in TEST()  argument
112 TEST(SolverTest, NegatedConjunction) {  in TEST()  argument
123 TEST(SolverTest, DisjunctionSameVarWithNegation) {  in TEST()  argument
133 TEST(SolverTest, DisjunctionSameVar) {  in TEST()  argument
142 TEST(SolverTest, ConjunctionSameVarsConflict) {  in TEST()  argument
152 TEST(SolverTest, ConjunctionSameVar) {  in TEST()  argument
161 TEST(SolverTest, PureVar) {  in TEST()  argument
177 TEST(SolverTest, MustAssumeVarIsFalse) {  in TEST()  argument
194 TEST(SolverTest, DeepConflict) {  in TEST()  argument
209 TEST(SolverTest, IffIsEquivalentToDNF) {  in TEST()  argument
223 TEST(SolverTest, IffSameVars) {  in TEST()  argument
232 TEST(SolverTest, IffDistinctVars) {  in TEST()  argument
249 TEST(SolverTest, IffWithUnits) {  in TEST()  argument
262 TEST(SolverTest, IffWithUnitsConflict) {  in TEST()  argument
273 TEST(SolverTest, IffTransitiveConflict) {  in TEST()  argument
286 TEST(SolverTest, DeMorgan) {  in TEST()  argument
303 TEST(SolverTest, RespectsAdditionalConstraints) {  in TEST()  argument
314 TEST(SolverTest, ImplicationIsEquivalentToDNF) {  in TEST()  argument
326 TEST(SolverTest, ImplicationConflict) {  in TEST()  argument