{"library":"pycosat","install":[{"cmd":"pip install pycosat","imports":["from pycosat import itersolve"]}]}