我正在修补 CVC4 对集合和关系的支持，并希望能够使用运算符来构建两个集合的笛卡尔积。但是，此运算符仅适用于关系。product 这是馈送到 CVC4 的示例输入： (set-logic ALL...