This is an implementation of the tool for computing lower/upper approximations of the termination probability of PHORS, as reported in the following paper: Naoki Kobayashi, Ugo Dal Lago, Charles Grellois: On the Termination Problem for Probabilistic Higher-Order Recursive Programs. Log. Methods Comput. Sci. 16(4) (2020)