cvc5/examples/simple_vc_quant_cxx.cpp at main · cvc5/cvc5 · GitHub