mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-19 02:42:02 +00:00
Code Activity

add version

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2023-12-08 15:50:09 -08:00
parent 7b145f36bd
commit dd271563d3
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/api/python/pyproject.toml
View file

@ -4,4 +4,5 @@ build-backend = "setuptools.build_meta"
[project] [project]
name = "z3-solver" name = "z3-solver"
version = "4"
dependencies = ["importlib-resources", ] dependencies = ["importlib-resources", ]