tptp parsers

Author: philzook58

pyproject.toml

@@ -30,6 +30,7 @@ solvers = [
     "cffi>=2.0.0",
     "graphviz>=0.20.3",
     "ziglang>=0.15.1",
+    "cloudpickle>=3.1.2", # for egglog
 ]
 
 [build-system]
@@ -106,13 +107,15 @@ markers = ["slow: Marks tests as long-running."]
 [dependency-groups]
 dev = [
     "jupyter>=1.1.1",
+    "line-profiler>=5.0.0",
     "nbclient>=0.10.2",
     "pyright>=1.1.392.post0",
     "pytest>=8.3.4",
     "ruff>=0.11.13",
 ]
 rust = ["maturin[patchelf]>=1.8.6"]
 
+
 [[tool.uv.index]]
 name = "testpypi"
 url = "https://test.pypi.org/simple/"