GitHub repository: kquine/dreal
Primary language: C++
Description: dReal: An SMT Solver for Nonlinear Theories of the Reals