GitHub repository: AleksandarZeljic/z3
Primary language: C++
Description: SmallFloats