{"library":"pysmt","install":[{"cmd":"pip install pysmt","imports":["from pysmt.shortcuts import Symbol, And, Not, is_sat","from pysmt.typing import INT, BOOL","from pysmt.shortcuts import Solver"]},{"cmd":"python -m pysmt install --z3","imports":[]}]}