A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point - View it on GitHub