0x00: @NotNull method com/intellij/execution/configurations/GeneralCommandLine.getExePath must not return null

solution: reconfigure the python interpreter!

0x01: _curses.error setupterm could not find terminal

solution:

export TERM=linux
export TERMINFO=/etc/terminfo

0x02: if you don't want to get stuck in install z3 like that, please update pycharm first!