XSat: A Fast Floating-Point Satisfiability Solver
Automatic Generation of Floating-Point Test Data