Fix typo in z3 dep in pyproject, and update constraints

.gitignore

@@ -6,8 +6,8 @@
 # Cached symbolic execution stuff
 *.symbex-cache
 
-# Python environment path file 
-.env
+# Python
+__pycache__/
 
 # VSCode config
 .vscode/

tool/.gitignore

@@ -1,4 +1,3 @@
-__pycache__/
 *.pyc
 .vs/
 env/

tool/constraints

@@ -1,39 +1,37 @@
-ailment==9.2.25
-angr==9.2.25
-archinfo==9.2.25
+ailment==9.2.35
+angr==9.2.35
+archinfo==9.2.35
 bitstring==4.0.1
-boto==2.49.0
-cachetools==5.2.0
+cachetools==5.3.0
 capstone==4.0.2
 cffi==1.15.1
-claripy==9.2.25
-cle==9.2.25
+claripy==9.2.35
+cle==9.2.35
 CppHeaderParser==2.7.4
 decorator==5.1.1
 dpkt==1.9.8
-future==0.18.2
-gitdb==4.0.9
-GitPython==3.1.29
+future==0.18.3
+gitdb==4.0.10
+GitPython==3.1.30
 itanium-demangler==1.1
 mpmath==1.2.1
 mulpyplexer==0.9
 nampa==0.1.1
-networkx==2.8.8
+networkx==3.0
 pefile==2022.5.30
-plumbum==1.8.0
+plumbum==1.8.1
 ply==3.11
 progressbar2==4.2.0
-protobuf==4.21.9
+protobuf==4.21.12
 psutil==5.9.4
 pycparser==2.21
 pyelftools==0.29
-PySMT==0.9.6.dev21
+PySMT==0.9.5
 python-utils==3.4.5
-pyvex==9.2.25
-rpyc==5.2.3
+pyvex==9.2.35
+rpyc==5.3.0
 smmap==5.0.0
 sortedcontainers==2.4.0
 sympy==1.11.1
-unicorn==1.0.2rc4
-z3==0.2.0
+unicorn==2.0.1.post1
 z3-solver==4.10.2.0

tool/pyproject.toml

@@ -11,7 +11,7 @@ license = { text = "MIT" }
 
 requires-python = ">=3.10"
 
-dependencies = ["angr", "claripy", "pyvex", "z3"]
+dependencies = ["angr", "claripy", "pyvex", "z3-solver"]
 
 [project.scripts]
 klint = "klint.__main__:main"