“Z3-Solver Phon Ubunu” Code-Antworten

Z3-Solver Phon Ubunu

sudo apt-get install python-z3