{"library":"z3-solver","install":[{"cmd":"pip install z3-solver","imports":["from z3 import *","import z3"]}]}