XSat: A Fast Floating-Point Satisfiability Solver
Symbolic execution and program testing