Clean up imports: linter fixes.

Author: rpgoldman

popper/gen3.py

@@ -1,19 +1,18 @@
-import time
+import numbers
+import operator
 import re
-from pysat.formula import CNF
-from pysat.solvers import Solver
-from pysat.card import *
+from collections import defaultdict
+from typing import Optional
+
 import clingo
-import operator
-import numbers
 import clingo.script
-from collections import defaultdict
-from . util import rule_is_recursive, Constraint, Literal
-from . abs_generate import Generator as AbstractGenerator
+
+from .abs_generate import Generator as AbstractGenerator
 from .resources import resource_string
+from .util import rule_is_recursive, Constraint, Literal
 
 clingo.script.enable_python()
-from clingo import Function, Number, Tuple_
+from clingo import Function, Number, Tuple_, Model
 from itertools import permutations
 
 DEFAULT_HEURISTIC = """
@@ -33,6 +32,7 @@ def atom_to_symbol(pred, args):
     return Function(name = pred, arguments = xs)
 
 class Generator(AbstractGenerator):
+    model: Optional[Model]
 
     def __init__(self, settings, bkcons=[]):
         self.settings = settings

popper/generate.py

@@ -1,6 +1,3 @@
-import re
-from typing import Optional, Sequence, Set
-
 import numbers
 import operator
 import re