{"library":"simplesat","install":[{"cmd":"pip install simplesat","imports":["from simplesat.solver import Solver","from simplesat.repository import Repository","from simplesat.repository import Solvable","from simplesat.constraints import EQ"]}]}