{"library":"passagemath-kissat","install":[{"cmd":"pip install passagemath-kissat","imports":["from passagemath.kissat import KissatSolver","from passagemath.kissat import solve_sat"]}]}