when I try to run examples of reentrancy_symbolic.py in my pc,there are some problem

[strawberrylady99]

The following is my error log.
Traceback (most recent call last):
File "/home/milk/下载/ProjectofManticore/manticore/lib/python3.8/site-packages/crytic_compile/platform/solc.py", line 367, in _run_solc
ret = json.loads(stdout)
File "/usr/lib/python3.8/json/init.py", line 357, in loads
return _default_decoder.decode(s)
File "/usr/lib/python3.8/json/decoder.py", line 337, in decode
obj, end = self.raw_decode(s, idx=_w(s, 0).end())
File "/usr/lib/python3.8/json/decoder.py", line 355, in raw_decode
raise JSONDecodeError("Expecting value", s, err.value) from None
json.decoder.JSONDecodeError: Expecting value: line 1 column 1 (char 0)

During handling of the above exception, another exception occurred:

Traceback (most recent call last):
File "/home/milk/下载/manticore-master/manticore/ethereum/manticore.py", line 270, in _compile_through_crytic_compile
crytic_compile = CryticCompile(filename)
File "/home/milk/下载/ProjectofManticore/manticore/lib/python3.8/site-packages/crytic_compile/crytic_compile.py", line 124, in init
self._compile(**kwargs)
File "/home/milk/下载/ProjectofManticore/manticore/lib/python3.8/site-packages/crytic_compile/crytic_compile.py", line 931, in _compile
self._platform.compile(self, **kwargs)
File "/home/milk/下载/ProjectofManticore/manticore/lib/python3.8/site-packages/crytic_compile/platform/solc.py", line 148, in compile
targets_json = _run_solc(
File "/home/milk/下载/ProjectofManticore/manticore/lib/python3.8/site-packages/crytic_compile/platform/solc.py", line 371, in _run_solc
raise InvalidCompilation(f"Invalid solc compilation {stderr}")
crytic_compile.platform.exceptions.InvalidCompilation: Invalid solc compilation "/tmp/tmpug41psjw.sol" is not found.

During handling of the above exception, another exception occurred:

Traceback (most recent call last):
File "/home/milk/下载/manticore-master/examples/evm/reentrancy_symbolic.py", line 82, in
contract_account = m.solidity_create_contract(
File "/home/milk/下载/manticore-master/manticore/ethereum/manticore.py", line 586, in solidity_create_contract
compile_results = self._compile(
File "/home/milk/下载/manticore-master/manticore/ethereum/manticore.py", line 351, in _compile
compilation_result = ManticoreEVM._compile_through_crytic_compile(
File "/home/milk/下载/manticore-master/manticore/ethereum/manticore.py", line 305, in _compile_through_crytic_compile
raise EthereumError(
manticore.exceptions.EthereumError: Errors : Invalid solc compilation "/tmp/tmpug41psjw.sol" is not found.

. Solidity failed to generate bytecode for your contract. Check if all the abstract functions are implemented.

Process finished with exit code 1

I don't know how to fix it. my system is ubuntu 20.04,python version is 3.8,manticore version is 0.3.5.And I also want to ask how to user your manticore API. expected your response!