A conflicts with B: can't install both.
(self, kernel)
| 1234 | assert s.check() == unsat |
| 1235 | |
| 1236 | def test_conflict(self, kernel): |
| 1237 | """A conflicts with B: can't install both.""" |
| 1238 | a, b = Bools("a b") |
| 1239 | conflict = Or(Not(a), Not(b)) |
| 1240 | s = Solver() |
| 1241 | s.add(conflict, a, b) |
| 1242 | assert s.check() == unsat |
| 1243 | |
| 1244 | |
| 1245 | # =================================================================== |