How to set up Alive2 on Ubuntu 20.04 LTS from scratch

This blog shares about how to set up Alive2 on Ubuntu 20.04 LTS from scratch. It took me several days to make it work properly T_T. Anyway, let’s start.