cprover

strings → floatbv Relation

File in solvers/stringsIncludes file in solvers/floatbv
string_constraint_generator_float.cppfloat_bv.h
string_constraint_generator_valueof.cppfloat_bv.h