在Haskell中,我们可以将类型约束与逻辑and相结合。(a :: Constraint) b = (a, b)class (a, b) => And a b我想知道在Haskell中如何在逻辑上或两个约束一起使用在这次尝试中,我用标记具体化了类型约束,然后用隐式参数解除了它们的约束。data ROr a b where
L :
我正在尝试将我的约束从Cplex OPT工作室转移到DOcplex Python。forall(r in risk_list) (0.2 * sum (i in funds) x[i][r]* risk[i] >= r - 0.005) && (sum(i in funds) x[i][r] == 5)|| sum (