A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
Primary LanguageC++GNU General Public License v3.0GPL-3.0