mtrberzi/z3

use expr_ref_vector instead of std::vector wherever possible

Opened this issue · 0 comments

mtrberzi commented
use expr_ref_vector instead of std::vector wherever possible