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