PUBS: A Practical Upper Bounds Solver

*****************************************Result (Not Done Yet) ****************************