时态逻辑规划工具箱
tulip的Python项目详细描述
这是郁金香的资源库,时间逻辑规划工具箱。 项目网站是http://tulip-control.org
安装
在大多数情况下,只要:
pip install .
郁金香也可以安装from PyPI:
pip install tulip
这将安装所需的依赖项。 要了解安装了哪些依赖项(包括可选依赖项),请致电:
tulip.interfaces.print_env()
有关详细说明,包括有关依赖项和疑难解答的说明, 咨询http://tulip-control.sourceforge.net/doc/install.html 下一节描述如何构建文档。 测试套件在tests/下提供。请参阅下面的“测试”一节。
文档
代码之外有两个主要的文档来源。“用户” 文档位于doc/下,使用Sphinx构建,因此通常的步骤适用,
make html
api文档是使用Epydoc生成的 也可以从doc目录构建,现在是
make api
郁金香最新版本的复制品可在网上获得:
命令摘要由make help提供。除了上述消息,你 也可以使用标准pydoc工具阅读api文档。例如,
pydoc tulip
测试
使用nose执行测试。从 源树的根(即setup.py所在的位置),
./run_tests.py
执行基本测试。要尝试所有可用的测试,./run_tests.py full。 对于替代品和用法摘要,./run_tests.py -h
许可证
这是根据the BSD 3-Clause License条款发布的免费软件。没有保证;甚至 为了适销性或适合某一特定目的。查阅许可证 复制条件。
当代码被修改或重新分发时,许可证文件应该随代码或其任何子集一起提供,无论其大小。 另外,如果需要,可以在文件中复制许可证文本。