求问一个类线性规划问题

Question

给定以下限制条件C：
A类产品: 件数 >= 1 or 金额 >= 500
并且
B类产品: 件数 >= 2 and 金额 >= 1000

此时有
a1 200
a2 300
b1 1000
b2 200
b3 800

有什么算法能够高效枚举符合C的所有产品组合？
比方说在这里有

(a1, b1), (a1, a2, b1, b2), (a1, b2, b3) ....
这些都是符合条件C的

我实验过pulp, pyomo之类的线性规划的python包，确实是可以解决问题。但性能实在太慢
了, pulp是通过调用一个叫cbc的可执行程序来解决这个问题，每次调用都要写文件作为c
bc的输入，cbc求解后再读取结果文件，效率实在是低。pyomo也存在这个问题。

请问各位大神，能用简单的算法来高效解决这个问题吗？