product_solver_names# Terminal.product_solver_names(product_id)# Get the list of solver names. Parameters: product_idProductIdTypeID of the product. Returns: list of str