{"package": "py-aiger-ptltl", "summary": "Library for generating (p)ast (t)ense (l)inear (t)emporal (l)ogic monitors as aiger circuits.", "pypi_url": "https://pypi.org/project/py-aiger-ptltl", "piwheels_url": "https://www.piwheels.org/project/py-aiger-ptltl", "releases": {"3.1.2": {"released": "2022-11-03 04:10:10", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"py_aiger_ptltl-3.1.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/py-aiger-ptltl/py_aiger_ptltl-3.1.2-py3-none-any.whl", "filehash": "8d0efe3e65734724dcfff6a806f6cae5ab59665a6201aebdf1d31a15f319635c", "filesize": 5202, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["py-aiger"]}}}, "3.1.0": {"released": "2021-02-10 22:05:28", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"py_aiger_ptltl-3.1.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/py-aiger-ptltl/py_aiger_ptltl-3.1.0-py3-none-any.whl", "filehash": "c146cfeb94d553f7ecba1924648cc3443ebdf848a812214115c28337b41160d6", "filesize": 5144, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["py-aiger"]}}}, "3.0.1": {"released": "2020-09-12 06:45:03", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"py_aiger_ptltl-3.0.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/py-aiger-ptltl/py_aiger_ptltl-3.0.1-py3-none-any.whl", "filehash": "2ddd3168be18ccfae91bbab33611d117bbf74f2c584c592a627ee1446bb70f17", "filesize": 5061, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["py-aiger"]}}}, "3.0.0": {"released": "2020-05-16 08:09:55", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"py_aiger_ptltl-3.0.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/py-aiger-ptltl/py_aiger_ptltl-3.0.0-py3-none-any.whl", "filehash": "60d3ee9850ab4858f73b1da49490e10f83ad1b461b7b0a338317cd96f44cb43c", "filesize": 5060, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["py-aiger"]}}}, "2.0.0": {"released": "2020-05-13 06:43:01", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"py_aiger_ptltl-2.0.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/py-aiger-ptltl/py_aiger_ptltl-2.0.0-py3-none-any.whl", "filehash": "e6937dc11452c07ae7c9fcff1ff49f3215c937e0af3977da2a82c9ae095c260e", "filesize": 5065, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6,<4.0", "apt_dependencies": [], "pip_dependencies": ["py-aiger"]}}}, "1.2.0": {"released": "2020-03-24 06:16:25", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"py_aiger_ptltl-1.2.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/py-aiger-ptltl/py_aiger_ptltl-1.2.0-py3-none-any.whl", "filehash": "a95b63fa743b488082a424aba1882075574f89de1442d604fa53554ef15c0592", "filesize": 5064, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6,<4.0", "apt_dependencies": [], "pip_dependencies": ["py-aiger"]}}}, "1.1.1": {"released": "2020-03-08 22:51:24", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"py_aiger_ptltl-1.1.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/py-aiger-ptltl/py_aiger_ptltl-1.1.1-py3-none-any.whl", "filehash": "96a35fd32726924045ececbbd3f625fb6028c80b5a35631cd8513367536913f2", "filesize": 5058, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6,<4.0", "apt_dependencies": [], "pip_dependencies": ["py-aiger"]}}}, "1.1.0": {"released": "2020-01-28 21:30:08", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"py_aiger_ptltl-1.1.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/py-aiger-ptltl/py_aiger_ptltl-1.1.0-py3-none-any.whl", "filehash": "2c7b547fd366a7838082cb1fd317255a0f265c122f6e8018e20af626d1e5d57d", "filesize": 5053, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7,<4.0", "apt_dependencies": [], "pip_dependencies": ["py-aiger"]}}}, "1.0.0": {"released": "2019-10-21 05:06:41", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"py_aiger_ptltl-1.0.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/py-aiger-ptltl/py_aiger_ptltl-1.0.0-py3-none-any.whl", "filehash": "2c9ef6483c301c5284b45db8077cef4e46ea46f5ef03be38bd82b90f7d0a233d", "filesize": 5046, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6,<4.0", "apt_dependencies": [], "pip_dependencies": ["py-aiger"]}}}, "0.1.1": {"released": "2019-07-24 19:11:02", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"py_aiger_ptltl-0.1.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/py-aiger-ptltl/py_aiger_ptltl-0.1.1-py3-none-any.whl", "filehash": "be9f0e7ebba3b7504642382686fa13ea7c52ebff26064de6aced21478788f2fa", "filesize": 5041, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6,<4.0", "apt_dependencies": [], "pip_dependencies": ["py-aiger"]}}}, "0.0.0": {"released": "2018-10-24 20:17:31", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"py_aiger_ptltl-0.0.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/py-aiger-ptltl/py_aiger_ptltl-0.0.0-py3-none-any.whl", "filehash": "a3257f96487f97e58bdf0f00f6bc6723134cb7f1fd601bd0b6e62ff3af54a635", "filesize": 3523, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["funcy", "lenses", "parsimonious", "py-aiger"]}}}}}