GitHub repository: martin-cs/symfpu
Primary language: C++
Created: 2018-05-10T12:12:36Z
Description: A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point