format: lint solver module

Oops, I make these mistakes too. 😋

solver/__init__.py

@@ -5,6 +5,7 @@
 pipeline fashion. A pass is a transformation that simplifies the AST
 in some way. The passes are defined in the passes directory.
 """
+
 import sys
 from importlib import import_module