“Z3- Solver Phon Ubunu” Réponses codées

Z3- Solver Phon Ubunu

sudo apt-get install python-z3