GitHub repository: soonhokong/dreal4
Primary language: SMT
Description: SMT Solver for Nonlinear Theories of Reals