siis / coal

COAL Constant Propagation Solver
http://siis.cse.psu.edu/coal/
Apache License 2.0
9 stars 5 forks source link