FloatFuzz Fuzzer and generator for floating-point problems in SMT-LIB 2.x format. This repo is under active development without release or unstable release. Please check back soon.