时态逻辑规划工具箱

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条款发布的免费软件。没有保证;甚至 为了适销性或适合某一特定目的。查阅许可证 复制条件。

当代码被修改或重新分发时,许可证文件应该随代码或其任何子集一起提供,无论其大小。 另外,如果需要,可以在文件中复制许可证文本。

欢迎加入QQ群-->: 979659372 Python中文网_新手群

推荐PyPI第三方库


热门话题
java如何在windows上向doclet添加多个sourcepath?   java谷歌地图应用程序   java为以下场景创建正则表达式   Java文件通道异常   Java集合如何将文件对象列表转换为路径对象列表?   多线程生产者/消费者模型使用Java(同步),但始终运行同一线程   java如何为存储在ArrayList中的特定属性设置值?   java一次不能加载多个osm文件   使用java 8将map<String,map<Long,customeObject>>转换为list<customeObject>   java JDK包含哪些脚本语言解释器?   java为什么eclipse在这里生成语法错误?   多线程Javasocket异常:socket已关闭且值为空   java我想在Android活动中创建一个带有图像的可滚动文本列表。我应该用什么?   java实现编译时警告   java根据安卓 SQLite数据库中前一行的相同值递增特定值   java移动迭代器语句使代码可编译   java JVM终身/旧代已达到限制&服务器挂起   为什么我们不能在映射上使用迭代器(Java)?   xml如何映射JAXB中已有的JavaBean