Add IEEE-754 Floating Point to Bitvector Conversion Fallback#512

baierd wants to merge 106 commits into

mastersosy-lab/java-smt:masterfrom

504-ieee-floating-point-to-bitvector-conversion-not-supported-in-all-solverssosy-lab/java-smt:504-ieee-floating-point-to-bitvector-conversion-not-supported-in-all-solversCopy head branch name to clipboard