{ "info": { "author": "Simon BUSARD, Xavier GILLARD", "author_email": "simon.busard@uclouvain.be, xavier.gillard@uclouvain.be", "bugtrack_url": null, "classifiers": [ "Development Status :: 3 - Alpha", "License :: OSI Approved :: GNU Lesser General Public License v3 or later (LGPLv3+)", "Operating System :: MacOS :: MacOS X", "Operating System :: POSIX :: Linux", "Programming Language :: Python :: 3.4", "Programming Language :: Python :: 3.5", "Programming Language :: Python :: 3.6", "Programming Language :: Python :: 3 :: Only", "Programming Language :: Python :: Implementation :: CPython", "Topic :: Scientific/Engineering" ], "description": "PyNuSMV\n=======\n\nPyNuSMV is a Python binding for NuSMV. It is intended to provide a\nPython interface to NuSMV, allowing to use NuSMV as a library.\n\n.. start-bages\n.. list-table::\n :stub-columns: 1\n \n * - Latest release \n \u00a0 - |Release| |Doc|\n * - Status\n - |Build| |Heath| |Coverage|\n\n.. |Release| image:: https://img.shields.io/pypi/v/pynusmv.svg\n :target: https://pypi.python.org/pypi/pynusmv/\n :alt: Latest release on PyPI\n \n.. |Downloads| image:: https://img.shields.io/pypi/dm/pynusmv.svg\n :target: https://pypi.python.org/pypi/pynusmv/\n :alt: Number of PyPI downloads\n \n.. |Build| image:: https://travis-ci.org/LouvainVerificationLab/pynusmv.svg?branch=master\n :target: https://travis-ci.org/LouvainVerificationLab/pynusmv\n :alt: Continuous Integration Status\n \n.. |Coverage| image:: https://coveralls.io/repos/github/LouvainVerificationLab/pynusmv/badge.svg?branch=master\n :target: https://coveralls.io/github/LouvainVerificationLab/pynusmv?branch=master\n :alt: Coverage report\n\n.. |Heath| image:: https://landscape.io/github/LouvainVerificationLab/pynusmv/master/landscape.svg?style=flat\n :target: https://landscape.io/github/LouvainVerificationLab/pynusmv/master\n :alt: Code Health\n\n.. |Doc| image:: https://readthedocs.org/projects/pynusmv/badge/?version=latest\n \u00a0 \u00a0:target: http://pynusmv.readthedocs.io/?badge=latest\n :alt: Documentation Status\n\n\nPreliminary warning\n-------------------\n\nPyNuSMV does NOT work with Python 2 !\n\nInstallation\n------------\n\nIf you are used to installing python packages, installing pynusmv should really\nbe dead simple: indeed, on most platforms it should suffice to simply open up \na terminal and type in the following command:\n\n::\n\n pip3 install pynusmv\n\nThis will download a pre-compiled binary version of the project from PyPI and \ninstall it on your machine. In the unlikely event that no binary version is \navailable for your platform, it will download the sources from PyPI and try to\ncompile and install them on your system. If you prefer to download the sources\nfrom this repository, tweak them and compile them (ie if you want to link \npynusmv agains ZChaff), simply follow the instructions below.\n\nNote\n~~~~\n\nIn case there is no suitable pre-compiled binary available for your platform \nand you still want to get started instantly to avoid the hassle of compiling\npynusmv for yourself: just give a look at our docker images\n(https://github.com/LouvainVerificationLab/pynusmv-docker)\n \nIn particular, you might want to check the `louvainverificationlab/pynusmv`\nimage which gives you an access to a running python shell having pynusmv installed.\nTo use it, just\n \n::\n \n docker run -it louvainverificationlab/pynusmv\n\nBuild\n-----\n\nBuilding PyNuSMV requires you to have a few standard tools available on\nyour computer. Typically the build process should work nice and smooth\non all platform although only OSX and Ubuntu-Linux have actually been\ntested.\n\nDependencies\n~~~~~~~~~~~~\n\nThe first thing the build process performs in before even stating to try\nbuilding PyNuSMV is to check the availability of the following system\nrequirements. Unfortunately, no guarantee regarding the exhaustivity of\nthis list can be given although we have strong confidence that it is\nsufficient.\n\n- An ANSI C compiler (gcc will do, as will several versions of cc)\n- A C++ compiler (g++ advised)\n- GNU Flex version 2.5 or greater\n- GNU Bison version 1.22 or greater\n- GNU make utility version 3.74 or greater\n- GNU tar, gzip and unzip (to unpack the sources of the dependencies)\n- GNU patch (to fix some files in the original project distributions)\n- GNU ar and ranlib to create static libraries\n- GNU ln command\n- SWIG version 2.0.6 or higher -- http://www.swig.org/\n- Python3 (version 3.4 or higher) -- http://python.org/\n- Setuptools 2.1 or higher -- https://pypi.python.org/pypi/setuptools\n- pyparsing version 2.0.2 or higher -- http://pyparsing.wikispaces.com/\n- Sphinx if you intend to re-build the project documentation.\n\nPlatform specific tools\n^^^^^^^^^^^^^^^^^^^^^^^\n\nOn OS X, you will also need the ``install_name_tool`` command. But don't\nworry much about this one, it should already be installed on your\nsystem. Similarly, on Linux, you will need the ``patchelf`` command\nwhich is used for the same purpose. This should however not be a big\nproblem since a package for patchelf exists for all major Linux\ndistributions.\n\nBuild process\n~~~~~~~~~~~~~\n\nTo build and install your distribution of pynusmv from the sources, you\nshould proceed with the following command: ``python3 setup.py install``\n\nThis will start by unpacking, patching and building the following\ndependencies:\n\n- MiniSat\n- CUDD\n- NuSMV\n\nOnce that is done, the actual core of setup.py will be executed. This\ninvolves building the dynamic libraries for the lower interface and\npackage the python modules that build above that lower interface. As\nusual, depending on the command you pass to setuptools, the output will\nbe produced under ``build`` or ``dist``.\n\nNote: Using ZChaff\n^^^^^^^^^^^^^^^^^^^\n\nShould you want to have your version of pynusmv be built and linked against the\nZChaff SAT solver; then, all you need to do is to add the ``--with-zchaff`` flag\nto your build/installation command. Hence, the command becomes:\n``python3 setup.py install --with-zchaff``.\n\nVerifying your build\n~~~~~~~~~~~~~~~~~~~~\n\nTo check if the compilation was successful and make sure you didn't\nbreak anything in the expected behavior of the lib, you can run the unit\ntests as such: ``python3 setup.py test``\n\nDocker\n~~~~~~\n\nIf you don't want to mess with the details of properly provisioning your\nenvironment to build pynusmv and simply want to tweak it and build it from the\nsources; the easiest way is to use one of our preconfigured docker container \n(https://github.com/LouvainVerificationLab/pynusmv-docker). \n\nIn particular, you will probably be interessed by one of the following two \ncontainers:\n\n*louvainverificationlab/pynusmv-build*\n if you intend to make a build that works just for you.\n*louvainverificationlab/pynusmv-manylinux*\n if you intend to make a build that can possibly run on many different linux flavors.\n\n\nDOCUMENTATION\n-------------\n\nThe full API of (the upper interface of) PyNuSMV can be generated thanks\nto Sphinx (http://www.sphinx-doc.org/) by running the following command:\n``python3 setup.py doc`` or ``python3 setup.py doc --builder=``\n\nThe resulting documentation will be produced in buid/doc/. Where\n*builder* is the name of the builder you chose to generate the\ndocumentation. By default, this builder is set to ``html`` which means\nthe documentation will be generated in html format.\n\nThe same documentation is also available on http://pynusmv.readthedocs.org/.\n\nContent\n-------\n\nThis package contains:\n\n*README*\n This file\n\n*dependencies*\n A directory containing the dependencies project necessary to pynusmv\n\n*pynusmv*\n The package containig the whole upper interface of pynusmv\n\n*pynusmv\\_lower\\_interface*\n The package containing the wole lower interface of pynusmv\n\n*doc*\n A directory containing the files that permit the documentation generation.\n\n*tests*\n The project unittests\n\n*setup.py*\n PyNuSMV compilation file;\n\nNote that pre-compiled versions have less content because only the\nminimal required files (i.e. PyNuSMV files and nusmv shared library) are\nincluded.\n\nLegal\n-----\n\nPyNuSMV is licensed under the GNU Lesser General Public License (LGPL in\nshort). See https://www.gnu.org/licenses/lgpl-3.0.en.html for the full\ndetails of the license.\n\nNote\n~~~~\n\nAlongside with PyNuSMV, the following dependencies are brought to you\nunder the following license terms:\n\n- NuSMV : LGPL (same license as PyNuSMV).\n- CUDD: MIT license\n- MiniSat: MIT license\n- ZChaff: Princeton License (Optional: Iff you decide to use it, `--with-zchaff`).\n\nCredits\n-------\n\nPyNuSMV is developed, maintained and distributed by the LVL Group at\nUniversit\u00e9 Catholique de Louvain. Please contact for any question\nregarding this software distribution.\n\nNuSMV is a symbolic model checker developed as a joint project between\nseveral partners and distributed under the GNU LGPL license. Please\ncontact for getting in touch with the NuSMV development staff.\n", "description_content_type": null, "docs_url": null, "download_url": "", "downloads": { "last_day": -1, "last_month": -1, "last_week": -1 }, "home_page": "http://lvl.info.ucl.ac.be/Tools/PyNuSMV", "keywords": "Symbolic model checking,Epistemic logic,Tools", "license": "", "maintainer": "", "maintainer_email": "", "name": "pynusmv", "package_url": "https://pypi.org/project/pynusmv/", "platform": "UNKNOWN", "project_url": "https://pypi.org/project/pynusmv/", "project_urls": { "Homepage": "http://lvl.info.ucl.ac.be/Tools/PyNuSMV" }, "release_url": "https://pypi.org/project/pynusmv/1.0rc8/", "requires_dist": [ "pyparsing" ], "requires_python": "", "summary": "Embed NuSMV as a python library", "version": "1.0rc8" }, "last_serial": 2886221, "releases": { "1.0rc3": [ { "comment_text": "", "digests": { "md5": "6d3c409f636a2273f5f96672b99b4fff", "sha256": "ed4d397e847774899a9f51f9239d1acb296e25d8282540c9552d24b48236376a" }, "downloads": -1, "filename": "pynusmv-1.0rc3-cp35-cp35m-macosx_10_11_x86_64.whl", "has_sig": false, "md5_digest": "6d3c409f636a2273f5f96672b99b4fff", "packagetype": "bdist_wheel", "python_version": "cp35", "requires_python": null, "size": 3634112, "upload_time": "2016-12-16T22:44:35", "url": "https://files.pythonhosted.org/packages/9d/99/def0c50a3910e9164a92d52084c297acd01c2a5de3999f940725cf8b650f/pynusmv-1.0rc3-cp35-cp35m-macosx_10_11_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "034e70b990e25b2a8b03925c89eefa0f", "sha256": "9be0f33282a005c04a170b7015f52b802008b61aa1c08b8fcb38cd33460862a8" }, "downloads": -1, "filename": "pynusmv-1.0rc3.tar.gz", "has_sig": false, "md5_digest": "034e70b990e25b2a8b03925c89eefa0f", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 4200566, "upload_time": "2016-12-16T22:44:44", "url": "https://files.pythonhosted.org/packages/b2/d4/20080fb7684cd890bb46c5231822f0c83e18626abcc1a9388e26484aec8d/pynusmv-1.0rc3.tar.gz" } ], "1.0rc5": [ { "comment_text": "", "digests": { "md5": "dd79bd5eb549242cb9cdc8a9cf230416", "sha256": "3f8262a4a10b05aa8decf4933789ce9265dd31c2e91b4ba19dd49d93d1086448" }, "downloads": -1, "filename": "pynusmv-1.0rc5-cp35-cp35m-macosx_10_11_x86_64.whl", "has_sig": false, "md5_digest": "dd79bd5eb549242cb9cdc8a9cf230416", "packagetype": "bdist_wheel", "python_version": "cp35", "requires_python": null, "size": 2780604, "upload_time": "2017-01-05T00:15:47", "url": "https://files.pythonhosted.org/packages/cc/98/8c787e9f6069cc0132fb6f921815d10a10f762aa93704e5e29da3f86fbf8/pynusmv-1.0rc5-cp35-cp35m-macosx_10_11_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "c4e5f124f79dca3104fb18bd380a38cf", "sha256": "0f8b410eef6b5f41aa8e5c0cd1bcbfbc6ddf33501b2f7bc3b13608744edb285a" }, "downloads": -1, "filename": "pynusmv-1.0rc5-cp36-cp36m-macosx_10_12_x86_64.whl", "has_sig": false, "md5_digest": "c4e5f124f79dca3104fb18bd380a38cf", "packagetype": "bdist_wheel", "python_version": "cp36", "requires_python": null, "size": 2780397, "upload_time": "2017-01-05T10:22:15", "url": "https://files.pythonhosted.org/packages/1d/11/57fa3a90ba6f0b9514899e8823e4c87c70db2674de78916b2fa0c85ecd69/pynusmv-1.0rc5-cp36-cp36m-macosx_10_12_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "c407c289c61492fd50dd583cf13f8363", "sha256": "9910a6f6a76dd680e7f31597f9b87b70974970d5e3fc69fc33c2815d0037857b" }, "downloads": -1, "filename": "pynusmv-1.0rc5.tar.gz", "has_sig": false, "md5_digest": "c407c289c61492fd50dd583cf13f8363", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 4328352, "upload_time": "2017-01-05T00:15:55", "url": "https://files.pythonhosted.org/packages/f1/81/a64b106456b1efef62606dba8461b646ea43c14d7920c07593a7c51c9443/pynusmv-1.0rc5.tar.gz" } ], "1.0rc6": [ { "comment_text": "", "digests": { "md5": "2b4b1219e14721192725c91a2ff0bdc8", "sha256": "1d794ac962d1355fb709f140d136f69d73e2ba0011060dce82d116fd9eae21bb" }, "downloads": -1, "filename": "pynusmv-1.0rc6-cp34-cp34m-macosx_10_12_x86_64.whl", "has_sig": false, "md5_digest": "2b4b1219e14721192725c91a2ff0bdc8", "packagetype": "bdist_wheel", "python_version": "cp34", "requires_python": null, "size": 2934602, "upload_time": "2017-01-06T15:14:16", "url": "https://files.pythonhosted.org/packages/ca/e8/41b325e0d7a1a155d25c20d8f0c48e3d5b6451cfa602594405826a25839d/pynusmv-1.0rc6-cp34-cp34m-macosx_10_12_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "74ecbd160c4b7ec9990e31bec5754b7e", "sha256": "c7a73bfc8dcd21626870a629aacf9633d838aa8a1825ad3a98c62145ecc75915" }, "downloads": -1, "filename": "pynusmv-1.0rc6-cp34-cp34m-manylinux1_x86_64.whl", "has_sig": false, "md5_digest": "74ecbd160c4b7ec9990e31bec5754b7e", "packagetype": "bdist_wheel", "python_version": "cp34", "requires_python": null, "size": 8530680, "upload_time": "2017-01-06T15:29:46", "url": "https://files.pythonhosted.org/packages/7c/ef/52875dc79e964eecbbc097fe44cec99afb35c4f441b08fc6580a3f7b385a/pynusmv-1.0rc6-cp34-cp34m-manylinux1_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "e26caffc549f87677a33c1b088a28206", "sha256": "621bb9f050223c5dee74e374fdc3eca46d2ed3fbcf5d02286332687ff358d1a4" }, "downloads": -1, "filename": "pynusmv-1.0rc6-cp35-cp35m-macosx_10_12_x86_64.whl", "has_sig": false, "md5_digest": "e26caffc549f87677a33c1b088a28206", "packagetype": "bdist_wheel", "python_version": "cp35", "requires_python": null, "size": 2936915, "upload_time": "2017-01-06T15:14:21", "url": "https://files.pythonhosted.org/packages/df/ab/89764494d291770aceaa9b0aaf3cdfa82095a441dd18ede97c872fe8ce11/pynusmv-1.0rc6-cp35-cp35m-macosx_10_12_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "8a0b9617bf0f844c6b256a4a0b5d5cf3", "sha256": "38e4632daf4ffc5c9e694176f372144aeab136c3465c98edba09c4a58d98ccc2" }, "downloads": -1, "filename": "pynusmv-1.0rc6-cp35-cp35m-manylinux1_x86_64.whl", "has_sig": false, "md5_digest": "8a0b9617bf0f844c6b256a4a0b5d5cf3", "packagetype": "bdist_wheel", "python_version": "cp35", "requires_python": null, "size": 8541971, "upload_time": "2017-01-06T15:29:50", "url": "https://files.pythonhosted.org/packages/ba/6d/af8899c27383935a4c964ef2fca29dbfd88817dc01613d0712eac3a761dd/pynusmv-1.0rc6-cp35-cp35m-manylinux1_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "878d1947e397b8d8ec3e528e99582a45", "sha256": "cd66c93a9a4be49903d28a885b9394705e5ca056d8dc00377a4cf79d02558064" }, "downloads": -1, "filename": "pynusmv-1.0rc6-cp36-cp36m-macosx_10_12_x86_64.whl", "has_sig": false, "md5_digest": "878d1947e397b8d8ec3e528e99582a45", "packagetype": "bdist_wheel", "python_version": "cp36", "requires_python": null, "size": 2936924, "upload_time": "2017-01-06T15:14:24", "url": "https://files.pythonhosted.org/packages/21/b9/eae319d33081df30c0f4a6d3fa790e9ec6f8b67a82c1047d79f05ad2f350/pynusmv-1.0rc6-cp36-cp36m-macosx_10_12_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "e3bd37cec226f74b45da34863bfc2117", "sha256": "4045fb6ffa7970abc2ffb47eb40e86e8dcadeedc05ceb5f534862658cd3ce298" }, "downloads": -1, "filename": "pynusmv-1.0rc6-cp36-cp36m-manylinux1_x86_64.whl", "has_sig": false, "md5_digest": "e3bd37cec226f74b45da34863bfc2117", "packagetype": "bdist_wheel", "python_version": "cp36", "requires_python": null, "size": 8541872, "upload_time": "2017-01-06T15:29:55", "url": "https://files.pythonhosted.org/packages/f0/36/18b4fdad6e55c2c45ddf8e530b7140f4612b2630b147ba14af59a487dc55/pynusmv-1.0rc6-cp36-cp36m-manylinux1_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "879a95662df830baa6581766d98671bd", "sha256": "7ff7f8278e136fbb980f558b29980fb224095facfb9c74b8f3c150018d8c5fdc" }, "downloads": -1, "filename": "pynusmv-1.0rc6.tar.gz", "has_sig": false, "md5_digest": "879a95662df830baa6581766d98671bd", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 4305086, "upload_time": "2017-01-06T15:58:50", "url": "https://files.pythonhosted.org/packages/be/96/026719f15e4117d0aae6af52c23613e4d89a4d82c284854b9a30360c6f66/pynusmv-1.0rc6.tar.gz" } ], "1.0rc7": [ { "comment_text": "", "digests": { "md5": "74aa5ff38b29bc3190395bdf318db3cf", "sha256": "f366cab902f61468f1e0bd08ffe9b3527a941026b96e3b0a1b04b66b608df5e4" }, "downloads": -1, "filename": "pynusmv-1.0rc7-cp34-cp34m-macosx_10_12_x86_64.whl", "has_sig": false, "md5_digest": "74aa5ff38b29bc3190395bdf318db3cf", "packagetype": "bdist_wheel", "python_version": "cp34", "requires_python": null, "size": 2935918, "upload_time": "2017-01-11T11:51:22", "url": "https://files.pythonhosted.org/packages/f7/3d/17776a078fa68a3304a60f46a8a17faded5ad46ddf0ef8873058ba08c136/pynusmv-1.0rc7-cp34-cp34m-macosx_10_12_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "afb61c1dadfee5e7b6b2da66c38d7c5b", "sha256": "cbc3ed0c259eb908013b61c071efe20c0b4e76bb96d3bc9234a0e46d465a2957" }, "downloads": -1, "filename": "pynusmv-1.0rc7-cp34-cp34m-manylinux1_x86_64.whl", "has_sig": false, "md5_digest": "afb61c1dadfee5e7b6b2da66c38d7c5b", "packagetype": "bdist_wheel", "python_version": "cp34", "requires_python": null, "size": 8532037, "upload_time": "2017-01-11T11:56:25", "url": "https://files.pythonhosted.org/packages/b9/cf/973230cc93bd51ed6db86f73f543afa7de61b0b328e747c74b8c3a35a3bf/pynusmv-1.0rc7-cp34-cp34m-manylinux1_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "f2ec3275a5dadee72dc1aff346559c41", "sha256": "df0a58d9e39221114c16cd12e8f28b5fa37616547448b6ade89e07998f35b696" }, "downloads": -1, "filename": "pynusmv-1.0rc7-cp35-cp35m-macosx_10_12_x86_64.whl", "has_sig": false, "md5_digest": "f2ec3275a5dadee72dc1aff346559c41", "packagetype": "bdist_wheel", "python_version": "cp35", "requires_python": null, "size": 2938209, "upload_time": "2017-01-11T11:51:28", "url": "https://files.pythonhosted.org/packages/bb/94/c5878374ab943db12ae0dd746fcef53175e400ed6117b27b837c6213c93e/pynusmv-1.0rc7-cp35-cp35m-macosx_10_12_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "b2fbac0ffaecce3861afb72410184ce4", "sha256": "33f7ab58b13a3c4dc6ad8906e42d38beb771f702ddb4be53157801e6b1779e6e" }, "downloads": -1, "filename": "pynusmv-1.0rc7-cp35-cp35m-manylinux1_x86_64.whl", "has_sig": false, "md5_digest": "b2fbac0ffaecce3861afb72410184ce4", "packagetype": "bdist_wheel", "python_version": "cp35", "requires_python": null, "size": 8543329, "upload_time": "2017-01-11T11:56:30", "url": "https://files.pythonhosted.org/packages/34/60/711100e4738f26933d4e54b0842cad53897e054cc1fb00920ca0d37d7caf/pynusmv-1.0rc7-cp35-cp35m-manylinux1_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "258d6299d01d3e70ce751cbd48ad378f", "sha256": "24e23f72aa359e2217b6652893a0bb2e7d12c1948340b674043c822067fcae94" }, "downloads": -1, "filename": "pynusmv-1.0rc7-cp36-cp36m-macosx_10_12_x86_64.whl", "has_sig": false, "md5_digest": "258d6299d01d3e70ce751cbd48ad378f", "packagetype": "bdist_wheel", "python_version": "cp36", "requires_python": null, "size": 2938219, "upload_time": "2017-01-11T11:51:32", "url": "https://files.pythonhosted.org/packages/94/87/bb422a0d8c6b600e40d0fc3eff5cc94730ff0ce48646a8710d2b3d0c3600/pynusmv-1.0rc7-cp36-cp36m-macosx_10_12_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "9603de920a671b5c8f203ea2afe5a9d4", "sha256": "abc3b212161a4764b1aa4d1f87ae8fd5eac8f8f58e3c7a39430c9db9d95d3505" }, "downloads": -1, "filename": "pynusmv-1.0rc7-cp36-cp36m-manylinux1_x86_64.whl", "has_sig": false, "md5_digest": "9603de920a671b5c8f203ea2afe5a9d4", "packagetype": "bdist_wheel", "python_version": "cp36", "requires_python": null, "size": 8543230, "upload_time": "2017-01-11T11:56:34", "url": "https://files.pythonhosted.org/packages/5f/80/da830c538201d322cf64a43821e934c049bcb97706fd25b5731f00b8d9c9/pynusmv-1.0rc7-cp36-cp36m-manylinux1_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "2b35e998865705899908b60dd5174fcf", "sha256": "7428368155cb8dc072e223a854f7dfa22589a7ae5ba55c8bd1b744974f014241" }, "downloads": -1, "filename": "pynusmv-1.0rc7.tar.gz", "has_sig": false, "md5_digest": "2b35e998865705899908b60dd5174fcf", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 4170109, "upload_time": "2017-01-11T11:51:36", "url": "https://files.pythonhosted.org/packages/35/0d/be8766cdda8b310c96efce88d482b03871cc1c8d7bad469a7b9b55158365/pynusmv-1.0rc7.tar.gz" } ], "1.0rc8": [ { "comment_text": "", "digests": { "md5": "4e381e93f809b5941cb3be1835bad332", "sha256": "5f15825267461f91db6de8f55b055aaf9c17b20e6fd4f2bb64a0302dacbaa91b" }, "downloads": -1, "filename": "pynusmv-1.0rc8-cp34-cp34m-macosx_10_12_x86_64.whl", "has_sig": false, "md5_digest": "4e381e93f809b5941cb3be1835bad332", "packagetype": "bdist_wheel", "python_version": "cp34", "requires_python": null, "size": 2946569, "upload_time": "2017-04-12T10:15:06", "url": "https://files.pythonhosted.org/packages/a1/a6/781fc25482a6302ef0de352918f1bddad9e7ba5a1095ceedabbacf1b88d5/pynusmv-1.0rc8-cp34-cp34m-macosx_10_12_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "4e100074d1f521bdac47d06a6e546544", "sha256": "88af857ba4bdb92767c299ec82d666cd5373e512930f4e8912dd1d2eb37bee4a" }, "downloads": -1, "filename": "pynusmv-1.0rc8-cp34-cp34m-manylinux1_x86_64.whl", "has_sig": false, "md5_digest": "4e100074d1f521bdac47d06a6e546544", "packagetype": "bdist_wheel", "python_version": "cp34", "requires_python": null, "size": 8567630, "upload_time": "2017-04-12T10:18:52", "url": "https://files.pythonhosted.org/packages/10/81/24d04a95f8298cd3c12535872b39e13e3875070b8f1a6d4b23ce70dd4514/pynusmv-1.0rc8-cp34-cp34m-manylinux1_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "9e3f87034cc4f9300bb1f8f76acdced1", "sha256": "00f325754bcfb117c6b7656868e083afc648ec4b954c39c08c774d2666667796" }, "downloads": -1, "filename": "pynusmv-1.0rc8-cp35-cp35m-macosx_10_12_x86_64.whl", "has_sig": false, "md5_digest": "9e3f87034cc4f9300bb1f8f76acdced1", "packagetype": "bdist_wheel", "python_version": "cp35", "requires_python": null, "size": 2948843, "upload_time": "2017-04-12T10:15:22", "url": "https://files.pythonhosted.org/packages/72/96/711e962893ac7b98f0e31675032542e9141436ba9b91e4efd77f270fb054/pynusmv-1.0rc8-cp35-cp35m-macosx_10_12_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "57c781cd2785346827a2052eb70261b2", "sha256": "d64ab48c70508dc4b502e417bd621af22a3557be3fbd8efe6979ddeea9dafa96" }, "downloads": -1, "filename": "pynusmv-1.0rc8-cp35-cp35m-manylinux1_x86_64.whl", "has_sig": false, "md5_digest": "57c781cd2785346827a2052eb70261b2", "packagetype": "bdist_wheel", "python_version": "cp35", "requires_python": null, "size": 8578971, "upload_time": "2017-04-12T10:18:58", "url": "https://files.pythonhosted.org/packages/b3/97/58421f5be04bd01c6417f01798529f78ea3f5e3c94419e723cd5d5a63c71/pynusmv-1.0rc8-cp35-cp35m-manylinux1_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "8e8a8d245a6f535b5a5130937af28bc1", "sha256": "dcc1a488bd82af763eff0916098aed323fe9760b34705a7332fdf2bc1ecff526" }, "downloads": -1, "filename": "pynusmv-1.0rc8-cp36-cp36m-macosx_10_12_x86_64.whl", "has_sig": false, "md5_digest": "8e8a8d245a6f535b5a5130937af28bc1", "packagetype": "bdist_wheel", "python_version": "cp36", "requires_python": null, "size": 2948831, "upload_time": "2017-04-12T10:15:34", "url": "https://files.pythonhosted.org/packages/d1/c2/e1acf464b87ad3c428b46efa190c3777bcc6d5097c262b7b3ab3690eba9f/pynusmv-1.0rc8-cp36-cp36m-macosx_10_12_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "8965fff5be7b497cfa2635fd19220d3d", "sha256": "779ac2054ab9d86a3e6d062ff6cad841ba73ec499437481f3276978edb68fdb3" }, "downloads": -1, "filename": "pynusmv-1.0rc8-cp36-cp36m-manylinux1_x86_64.whl", "has_sig": false, "md5_digest": "8965fff5be7b497cfa2635fd19220d3d", "packagetype": "bdist_wheel", "python_version": "cp36", "requires_python": null, "size": 8578888, "upload_time": "2017-04-12T10:19:03", "url": "https://files.pythonhosted.org/packages/c1/a1/3b4aae2cc01e1cde98a0361188ae0c84833b3a97a79eb4f6da28ca78747f/pynusmv-1.0rc8-cp36-cp36m-manylinux1_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "d063a3093780ef7a7b45c099c84d2c39", "sha256": "35af7cdd25dfc8dc357770f0764b2cb726aed219200bba2e58c25318b2425aa1" }, "downloads": -1, "filename": "pynusmv-1.0rc8.tar.gz", "has_sig": false, "md5_digest": "d063a3093780ef7a7b45c099c84d2c39", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 4172544, "upload_time": "2017-04-12T10:22:58", "url": "https://files.pythonhosted.org/packages/e0/b5/4c0f4970fefe927280e65f3951b5075da3f9ded2570478734b0e9d3b0f6a/pynusmv-1.0rc8.tar.gz" } ] }, "urls": [ { "comment_text": "", "digests": { "md5": "4e381e93f809b5941cb3be1835bad332", "sha256": "5f15825267461f91db6de8f55b055aaf9c17b20e6fd4f2bb64a0302dacbaa91b" }, "downloads": -1, "filename": "pynusmv-1.0rc8-cp34-cp34m-macosx_10_12_x86_64.whl", "has_sig": false, "md5_digest": "4e381e93f809b5941cb3be1835bad332", "packagetype": "bdist_wheel", "python_version": "cp34", "requires_python": null, "size": 2946569, "upload_time": "2017-04-12T10:15:06", "url": "https://files.pythonhosted.org/packages/a1/a6/781fc25482a6302ef0de352918f1bddad9e7ba5a1095ceedabbacf1b88d5/pynusmv-1.0rc8-cp34-cp34m-macosx_10_12_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "4e100074d1f521bdac47d06a6e546544", "sha256": "88af857ba4bdb92767c299ec82d666cd5373e512930f4e8912dd1d2eb37bee4a" }, "downloads": -1, "filename": "pynusmv-1.0rc8-cp34-cp34m-manylinux1_x86_64.whl", "has_sig": false, "md5_digest": "4e100074d1f521bdac47d06a6e546544", "packagetype": "bdist_wheel", "python_version": "cp34", "requires_python": null, "size": 8567630, "upload_time": "2017-04-12T10:18:52", "url": "https://files.pythonhosted.org/packages/10/81/24d04a95f8298cd3c12535872b39e13e3875070b8f1a6d4b23ce70dd4514/pynusmv-1.0rc8-cp34-cp34m-manylinux1_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "9e3f87034cc4f9300bb1f8f76acdced1", "sha256": "00f325754bcfb117c6b7656868e083afc648ec4b954c39c08c774d2666667796" }, "downloads": -1, "filename": "pynusmv-1.0rc8-cp35-cp35m-macosx_10_12_x86_64.whl", "has_sig": false, "md5_digest": "9e3f87034cc4f9300bb1f8f76acdced1", "packagetype": "bdist_wheel", "python_version": "cp35", "requires_python": null, "size": 2948843, "upload_time": "2017-04-12T10:15:22", "url": "https://files.pythonhosted.org/packages/72/96/711e962893ac7b98f0e31675032542e9141436ba9b91e4efd77f270fb054/pynusmv-1.0rc8-cp35-cp35m-macosx_10_12_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "57c781cd2785346827a2052eb70261b2", "sha256": "d64ab48c70508dc4b502e417bd621af22a3557be3fbd8efe6979ddeea9dafa96" }, "downloads": -1, "filename": "pynusmv-1.0rc8-cp35-cp35m-manylinux1_x86_64.whl", "has_sig": false, "md5_digest": "57c781cd2785346827a2052eb70261b2", "packagetype": "bdist_wheel", "python_version": "cp35", "requires_python": null, "size": 8578971, "upload_time": "2017-04-12T10:18:58", "url": "https://files.pythonhosted.org/packages/b3/97/58421f5be04bd01c6417f01798529f78ea3f5e3c94419e723cd5d5a63c71/pynusmv-1.0rc8-cp35-cp35m-manylinux1_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "8e8a8d245a6f535b5a5130937af28bc1", "sha256": "dcc1a488bd82af763eff0916098aed323fe9760b34705a7332fdf2bc1ecff526" }, "downloads": -1, "filename": "pynusmv-1.0rc8-cp36-cp36m-macosx_10_12_x86_64.whl", "has_sig": false, "md5_digest": "8e8a8d245a6f535b5a5130937af28bc1", "packagetype": "bdist_wheel", "python_version": "cp36", "requires_python": null, "size": 2948831, "upload_time": "2017-04-12T10:15:34", "url": "https://files.pythonhosted.org/packages/d1/c2/e1acf464b87ad3c428b46efa190c3777bcc6d5097c262b7b3ab3690eba9f/pynusmv-1.0rc8-cp36-cp36m-macosx_10_12_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "8965fff5be7b497cfa2635fd19220d3d", "sha256": "779ac2054ab9d86a3e6d062ff6cad841ba73ec499437481f3276978edb68fdb3" }, "downloads": -1, "filename": "pynusmv-1.0rc8-cp36-cp36m-manylinux1_x86_64.whl", "has_sig": false, "md5_digest": "8965fff5be7b497cfa2635fd19220d3d", "packagetype": "bdist_wheel", "python_version": "cp36", "requires_python": null, "size": 8578888, "upload_time": "2017-04-12T10:19:03", "url": "https://files.pythonhosted.org/packages/c1/a1/3b4aae2cc01e1cde98a0361188ae0c84833b3a97a79eb4f6da28ca78747f/pynusmv-1.0rc8-cp36-cp36m-manylinux1_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "d063a3093780ef7a7b45c099c84d2c39", "sha256": "35af7cdd25dfc8dc357770f0764b2cb726aed219200bba2e58c25318b2425aa1" }, "downloads": -1, "filename": "pynusmv-1.0rc8.tar.gz", "has_sig": false, "md5_digest": "d063a3093780ef7a7b45c099c84d2c39", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 4172544, "upload_time": "2017-04-12T10:22:58", "url": "https://files.pythonhosted.org/packages/e0/b5/4c0f4970fefe927280e65f3951b5075da3f9ded2570478734b0e9d3b0f6a/pynusmv-1.0rc8.tar.gz" } ] }