quality(mypy): ignore pysat under mypy

oscarbenjamin · oscarbenjamin · commit cb401a96c24a · 2021-10-03T14:12:30.000+01:00
diff --git a/setup.cfg b/setup.cfg
@@ -82,3 +82,5 @@ ignore_missing_imports = True
 ignore_missing_imports = True
 [mypy-multiset.*]
 ignore_missing_imports = True
+[mypy-pysat.*]
+ignore_missing_imports = True
