Archives / Snippets / Projets

pip install z3         # fail
pip install z3-solver  # ok