Matthew Brown
76119237cc
Fix #7776
When a new clause contains tautology it can be disregarded entirely
2022-03-12 23:21:42 -05:00
..
2022-01-22 17:06:53 -06:00
2022-01-22 00:00:45 +00:00
2022-01-28 18:30:47 -05:00
2022-01-20 17:33:06 -05:00
2022-02-10 18:46:22 -05:00
2022-01-13 14:38:17 -05:00
2022-01-22 19:34:57 +01:00
2022-01-28 18:30:47 -05:00
2022-01-13 14:38:17 -05:00
2022-03-12 23:21:42 -05:00
2022-01-24 16:35:42 -05:00
2022-01-16 21:33:04 +01:00