GitHub repository: siis/coal
Primary language: Java
Description: COAL Constant Propagation Solver