GitHub repository: Chrobelias/Chrobelias
Primary language: OCaml
Description: Chrobak normal form-based Exponential-Linear Integer Arithmetic Solver