add lark as dependency

philzook58 · philzook58 · commit fbaf56f399af · 2024-12-12T10:55:58.000-05:00
diff --git a/pyproject.toml b/pyproject.toml
@@ -10,7 +10,7 @@ classifiers = [
     "License :: OSI Approved :: MIT License",
     "Operating System :: OS Independent",
 ]
-dependencies = ["z3-solver >= 4.8", "egglog", "python-flint", "sympy"]
+dependencies = ["z3-solver >= 4.8", "egglog", "python-flint", "sympy", "lark"]
 [project.urls]
 homepage = "https://github.com/philzook58/knuckledragger"
 

Original file line number	Diff line number	Diff line change
`@@ -10,7 +10,7 @@ classifiers = [`
`10`	`10`	`"License :: OSI Approved :: MIT License",`
`11`	`11`	`"Operating System :: OS Independent",`
`12`	`12`	`]`
`13`		`-dependencies = ["z3-solver >= 4.8", "egglog", "python-flint", "sympy"]`
	`13`	`+dependencies = ["z3-solver >= 4.8", "egglog", "python-flint", "sympy", "lark"]`
`14`	`14`	`[project.urls]`
`15`	`15`	`homepage = "https://github.com/philzook58/knuckledragger"`
`16`	`16`