文件名称:tempo-sat-tlp-gp
- 所属分类：
- 人工智能/神经网络/遗传算法
- 资源属性：
- [Linux] [C/C++] [源码]
- 上传时间：
- 2012-11-26
- 文件大小：
- 5.51mb
- 下载次数：
- 0次
- 提 供 者：
- micha******
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
SAT-TLP规划器是由ML这一通用的函数式编程语言开发出的最优化规划器，对于了解函数式语言在大型系统中的应用以及智能规划理论提供了很好的支持。-SAT-TLP planning is developed by ML generic functional programming language optimized planning, and provides good support for understanding the functional languages large systems and intelligent planning theory.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
tempo-sat-tlp-gp
................\Makefile
................\PddlSupportQuestionnaire.txt
................\Sources
................\.......\atom.ml
................\.......\atom.mli
................\.......\domain.ml
................\.......\domain.mli
................\.......\formula.ml
................\.......\functionFormula.ml
................\.......\iSetSet.ml
................\.......\lexer.ml
................\.......\lexer.mll
................\.......\main.ml
................\.......\node.ml
................\.......\nogood.ml
................\.......\parallelPlan.ml
................\.......\parser.mly
................\.......\plan.ml
................\.......\planningData.ml
................\.......\planningData.mli
................\.......\sequentialPlan.ml
................\.......\smtsolver.ml
................\.......\smtsolver_extractplan.ml
................\.......\symb.ml
................\.......\symb.mli
................\.......\symbSet.ml
................\.......\symbSet.mli
................\.......\timedata.ml
................\.......\tlpgp.ml
................\.......\typeset.ml
................\.......\typeset.mli
................\.......\utils.ml
................\build
................\orion-build-helpers
................\...................\build-ocaml
................\...................\ocaml-3.10.2.tar.bz2
................\plan
................\smt-solver
................\..........\mathsat
................\..........\mathsat-model
................\..........\mathsat341