Download z3 solver no color code
penvjish