Python openpromela-0.1.0.tar.gz模块包


下面是该Python项目安装包的资源下载地址:

  • openpromela-0.1.0.tar.gz.source

  • 文件名称:openpromela-0.1.0.tar.gz

    版权声明:本程序为网上收集,用户上传,仅供研究学习计算机编程等技术为目的,版权归原作者所有。

    所属PyPI项目:openpromela


  • 文件大小: 54.9 kB

    文件类型: Source

    适用的Python版本:None

    下载文件的哈希值:
        SHA256:72e5409fa3905c2f923456b0b56bb4028defaab048c280acb61b33c14854de12
        MD5:fbf636c59143ab5ce3cd708cde6abb5c
        BLAKE2-256:9e99c8f0ec6bcab9ddfe7a811a860aff6d3a41923396129ca4b078eb089e2b2c






  1. 如果发现本程序安装包或源码失效或下载失败,可以联系站长修复!谢谢。
  2. 可以使用迅雷等多线程下载专用软件进行加速下载。
  3. 少部分程序支持BT/磁力下载。
  4. 少部分程序可能需要编译安装,或下载源码自行安装,也可以使用 pip 命令进行安装。
  5. 放在网盘上的资源可能会被限速,可能需要注册或者购买对方VIP服务才能快速的下载。
  6. 如遇压缩包需要密码解压的,密码为 www.cnpython.com (全部小写),不是此密码非本站下载资源。

PyPI项目包:openpromela

[![生成状态][生成img]][travis] [![覆盖状态][覆盖范围][工作服]

关于

一个来自开放promela规范的合成器。信息:

  • 将open promela转换为线性时序逻辑(ltl)
  • 使用gr(1)game solver[omega.games.gr1](查看全文