github/concrete
1
1
Fork 0
mirror of https://github.com/zama-ai/concrete.git synced 2026-04-17 03:00:54 -04:00
Code Issues Packages Projects Releases Wiki Activity

fix(frontend-python): Set z3-solver version

Browse Source
This commit is contained in:
Bourgerie Quentin
2024-09-27 10:32:03 +02:00
committed by Alexandre Péré
parent f5ca8df1bd
commit 4cfefe0fbe
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
frontends/concrete-python/requirements.txt
View File

@@ -4,4 +4,4 @@ networkx>=2.6
numpy>=1.23,<2.0
scipy>=1.10
torch>=1.13
z3-solver>=4.12
z3-solver==4.13.0