{"library":"cvc5","install":[{"cmd":"pip install cvc5","imports":["from cvc5.pythonic import Solver"]}]}