{"library":"pyvcg","install":[{"cmd":"pip install pyvcg","imports":["from pyvcg import Solver","from pyvcg import Literal","from pyvcg import Sort","from pyvcg import Record"]}]}