{"library":"manticore","install":[{"cmd":"pip install manticore","imports":["from manticore import Manticore","from manticore.ethereum import EthereumManticore","from manticore.core.smtlib import ManticoreBase"]},{"cmd":"pip install manticore[native]","imports":[]}]}