Wheelodex » Projects » Scarlet-ltl

Scarlet-ltl

View on PyPI — Reverse Dependencies (0)

0.0.4 Scarlet_ltl-0.0.4-py3-none-any.whl

Wheel Details

Project: Scarlet-ltl
Version: 0.0.4
Filename: Scarlet_ltl-0.0.4-py3-none-any.whl
Download: [link]
Size: 27279
MD5: 066f2bd423ca5a4b044519c298f6b12d
SHA256: cf1d522c02a4bb3a66e1df0a3aba285a79f843c400e6de2bef223feb3e5230c3
Uploaded: 2023-12-11 15:33:48 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version: 2.1
Name: Scarlet-ltl
Version: 0.0.4
Summary: A package for learning LTL formulas from a sample consisting of traces partitioned into positive and negative
Author-Email: Ritam Raha <ritam.raha18[at]gmail.com>, Rajarshi Roy <rajarshi008[at]gmail.com>, Nathanael Fijalkow <nathanael.fijalkow[at]gmail.com>, Daniel Neider <daniel.neider[at]uni-oldenburg.de>
Project-Url: Homepage, https://github.com/rajarshi008/Scarlet
Project-Url: Paper, https://link.springer.com/chapter/10.1007/978-3-030-99524-9_14
License: Copyright (c) 2022 University of Antwerp, Belgium & LaBRI, University of Bordeaux, France Ritam Raha <ritam.raha18@gmail.com> Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Requires-Python: >=3.7
Requires-Dist: lark
Requires-Dist: graphviz
Requires-Dist: ltlf2dfa
Description-Content-Type: text/markdown
[Description omitted; length: 3667 characters]

WHEEL

Wheel-Version: 1.0
Generator: bdist_wheel (0.42.0)
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
Scarlet/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
Scarlet/booleanSubsetCover.py sha256=HeXTKGBRTAXp5_QPNkvQUjPwBfnvjThFFy90mf2aUog 5420
Scarlet/convert2dfa.py sha256=fcfRfjQ1dWGAqa6q68PttRiRCszwPq2xqj4dbBy8640 12325
Scarlet/directed_ltl.py sha256=UKawRyy2Sb2RhdFM5Z70CSvaVe5Qxp8yipO0h5OqB1M 31006
Scarlet/formulaTree.py sha256=PCr98Jvm4TVNzMA19ZnGt9V6WnO_LxNHBU3zUBNi5sA 9869
Scarlet/genBenchmarks.py sha256=Oy--vFCSm0FadgmKZxtEi6IwseW5nhm3weXSnqS7OXQ 6604
Scarlet/inferLTL.py sha256=7OM2OsPZJQqd8ZyzjeGpvGLoeulJQAI38h8WO9S3O6Q 5404
Scarlet/ltllearner.py sha256=eeEupEoUP5q7egoXyDwVP8jV0bZpQ9i_E85bAQ-jXOc 2614
Scarlet/sample.py sha256=EO-efPTtuuTCrMNa5J_DSZhcU-7sZLTtdrKG2IBEF74 19833
Scarlet_ltl-0.0.4.dist-info/METADATA sha256=nqFmV6m1uliLe2G8W4aQty969Y08oO4Ck4FqK4ERhoY 5784
Scarlet_ltl-0.0.4.dist-info/WHEEL sha256=oiQVh_5PnQM0E3gPdiz09WCNmwiHDMaGer_elqB3coM 92
Scarlet_ltl-0.0.4.dist-info/top_level.txt sha256=ipMRCr8NXwYCkRRi-ii4UZavonoxNsdf20osLyDZTa4 8
Scarlet_ltl-0.0.4.dist-info/RECORD — —

top_level.txt

Scarlet