Q

QF_BVFP

Incremental quantifier-free bitvectors and floating-point