Docker file to build the T2 temporal logic prover with Ubuntu 18.04 - View it on GitHub