A generator for Semantic Fusion
A fuzzing framework for SMT solvers
Arbitrary precision IEEE-754 implementation in Python for generating SMTLIB float benchmarks