clp

    0熱度

    1回答

    我想給exec DB2交互式輸入內部script.sql(DB2 =>) 我只能開始使用DB2 krun -- db2 ,由於某種原因krun -- db2 -vf script.sql似乎並沒有工作。 只有互動模式適合我。幫幫我。

    1熱度

    1回答

    我想從Python 3.5運行可執行文件(線性編程求解器CLP.exe)。 Import subprocess exeFile = " C:\\MyPath\\CLP.exe" arg1 = "C:\\Temp\\LpModel.mps" arg2 = "-max" arg3 = " -dualSimplex" arg4 = " -printi all" arg5 = "-solut

    1熱度

    1回答

    所以我的問題是以下幾點:我想,給定點X座標,在網格中的Y座標,以返回其所有相鄰的單元格。 (注意:在下面的例子中,我使用符號UL =左上,UM =中上,UR =右上,L =左,R =右,BL =左下,上的5×5網格 _ _ _ _ _ _ UL UM UR _ _ L x R _ _ BL BM BR _ _ _ _ _ _ 對於 對於元素x在(3,3):BM =底部中間和BR =右下

    3熱度

    2回答

    我試圖解決在序言中使用clp的問題。問題如下: 基本上一艘船正在運載一些集裝箱,我們想卸載它們。容器被描述爲謂詞容器(I,N,D),其中I是容器標識符,N是卸載所需的人數,D是持續時間。示例可能如下所示: container(a,1,1)。 集裝箱(b,2,2)。 集裝箱(c,2,2)。 集裝箱(d,3,3)。 容器也可以放在另一個的頂部,如: 上(A,C)。 (b,c)上的 。 (c,d)上的

    0熱度

    1回答

    我寫在序言約束求解器實現了一個簡單的邏輯公式: "(alive(A) and animal(A)) iff (awake(A) or asleep(A))"。 我發現它實施約束處理規則的一種方式,但它比原來的公式更詳細: :- use_module(library(chr)). :- chr_constraint is_true/1. is_true(A) \ is_true(A) <=>