【文件属性】：
文件名称：CapsLock:CS51 最终项目的存储库
文件大小：104KB
文件格式：ZIP
更新时间：2021-06-09 02:11:52
OCaml
大写锁定
CS51 最终项目的存储库
用户输入表 -> 线性规划 -> (Cinput -> Simplex -> Coutput) -> 向量 ->
然后我们要决定是做Branch and Bound还是Geometric
如果分支定界 -> 生成另一个线性程序，则见上文
如果几何 -> 整数向量
用户输入表示例： 1 1 0 -> 这第一行是一个向量 4 3 2 17 -> 这些行组合起来将是一个矩阵 -2 0 8 4 0 2 5 -6
线性程序对象元组示例（VECTOR 类型的 obj 函数，MATRIX 类型的约束）
User Input Black Box 用 Vector 做什么 某人做几何搜索
运行 在打开目录的情况下键入 make 以编译代码。 然后通过键入 ./simplex 来运行程序。 如果只创建一个测试文件夹，然后在其中创建一个 simplex 文件夹，然后
【文件预览】：
CapsLock-master
----GeoSearch.ml(4KB)
----Order.ml(74B)
----EltsI.ml(1KB)
----SimplexI.ml(26KB)
----Helpers.ml(691B)
----MatrixI.ml(4KB)
----Matrix.ml(27KB)
----Signatures.ml(975B)
----ocaml-matrix-master()
--------Order.ml(74B)
--------EltsI.ml(1KB)
--------bigmatrix.txt(37KB)
--------SimplexI.ml(25KB)
--------Helpers.ml(691B)
--------MatrixI.ml(4KB)
--------Interface.ml(2KB)
--------DraftSpec_Annotated.tex(17KB)
--------Matrix.ml(27KB)
--------Main.ml(664B)
--------README.md(133B)
--------Makefile(594B)
--------info.txt(97B)
--------data()
--------tests()
--------.gitignore(295B)
--------README(5KB)
--------report.tex(19KB)
--------Elts.ml(4KB)
--------FinalSpec_Annotated.tex(15KB)
----README.md(923B)
----Makefile(613B)
----tests()
--------simplex()
----BranchandBound.ml(3KB)
----main.ml(3KB)
----Elts.ml(4KB)