smtlib.theories.Operations
Operations with variable number of arguments, requiring that the number of arguments is greater than least numRequired
numRequired
Operations with variable number of arguments, requiring that the number of arguments is greater than least
numRequired