COAL: The Constant Propagation Language and Solver For instructions, see http://siis.cse.psu.edu/coal/.