- q -

• quantifier_listt : boolbvt
• quantifierst : qdimacs_cnft
• queuet : full_slicert , reachability_slicert