[pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

python/egglog/examples/resolution.py

@@ -2,6 +2,7 @@
 Resolution theorem proving.
 ===========================
 """
+
 from __future__ import annotations
 
 from typing import ClassVar

python/egglog/examples/schedule_demo.py

@@ -2,6 +2,7 @@
 Schedule demo
 =============
 """
+
 from __future__ import annotations
 
 from egglog import *

python/egglog/exp/program_gen.py

@@ -2,6 +2,7 @@
 """
 Builds up imperative string expressions from a functional expression.
 """
+
 from __future__ import annotations
 
 from typing import Union

python/egglog/type_constraint_solver.py

@@ -1,4 +1,5 @@
 """Provides a class for solving type constraints."""
+
 from __future__ import annotations
 
 from collections import defaultdict