4 ms·This is how SMT solvers deal with bounded quantifiers.by jahewson 3y agoThis is how SMT solvers deal with bounded quantifiers.