Wheelodex » Projects » aalpy

aalpy

View on PyPI — Reverse Dependencies (0)

1.4.1 aalpy-1.4.1-py3-none-any.whl

Wheel Details

Project: aalpy
Version: 1.4.1
Filename: aalpy-1.4.1-py3-none-any.whl
Download: [link]
Size: 125807
MD5: 46a397343e87ae20dd27f1a810a8cf6f
SHA256: 09b44e13f4074b9e8fa5133a6cbad3864fe2e4b150a5fe806190a977f53ce0a0
Uploaded: 2024-04-26 09:14:18 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version: 2.1
Name: aalpy
Version: 1.4.1
Summary: An active automata learning library
Author: Edi Muskardin
Author-Email: edi.muskardin[at]silicon-austria.com
Home-Page: https://github.com/DES-Lab/AALpy
License: MIT
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Requires-Python: >=3.6
Requires-Dist: pydot
Description-Content-Type: text/markdown
[Description omitted; length: 9855 characters]

WHEEL

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

RECORD

Path Digest Size
aalpy/__init__.py sha256=mdXJfcvfyvqHsC54HCpzLTvJDnv8L1H3I6dvpcfC1_k 2015
aalpy/paths.py sha256=6aIoWlVEEsMnWCbBxQVKkkEKbUvC4GnH1wkBrQIJZzQ 448
aalpy/SULs/AutomataSUL.py sha256=TuujyipQ4Ra4cAaZz7W7oGtyOO-UlKeYU6hb487obQM 485
aalpy/SULs/PyMethodSUL.py sha256=Bp-ReQnT9K40yZdvwGXl3iiQbRbKUvB-ChvpB5Sd0JM 1677
aalpy/SULs/RegexSUL.py sha256=b4QfyzcnE2M92CN95cEozLj8sWokWZdia-K6ajCiFrk 906
aalpy/SULs/TomitaSUL.py sha256=O3xaGdkXaFjazTM9GsHovxROfaZ5dwGuCzSdg1gxRgU 1478
aalpy/SULs/__init__.py sha256=GThdmHkQDnSafZH7tEHNbeJq-t7LC9kjb_DZyXWkq6U 146
aalpy/automata/Dfa.py sha256=bASH8gyflrY5uIrjv89AjowpwXvbpn3bXLYxSdWJo-8 3639
aalpy/automata/MarkovChain.py sha256=6xLEx_z7VBQPw9F9OGkElYmsBltSUMsfDS0ACEKZQkg 2019
aalpy/automata/Mdp.py sha256=hRy3DBn-K4nyDsyIyM86wKfNl1ju_8zTcRth5gahGpI 3109
aalpy/automata/MealyMachine.py sha256=O1ttIG6ocTVTmMQ6CkhThh3a-A9FZLS7vlzzunub6Go 3193
aalpy/automata/MooreMachine.py sha256=94Z-agjKxdO5d65GsDYZCmyGHuP9pW-pYDw0v5-XIac 3575
aalpy/automata/Onfsm.py sha256=9oKWHKqKt2IotRlh8bxQ4JZIRBhPHegOIsvnwG_bZSw 2929
aalpy/automata/Sevpa.py sha256=1OR8jXI-Zt271lq2rzVuPvTa7hSemkQZZVflnM2e-jY 23609
aalpy/automata/StochasticMealyMachine.py sha256=-fXMrZAIYAiQZKCljG4lteg3HV36GiUVYFlEbIadMjM 4899
aalpy/automata/__init__.py sha256=tukasJ1KAwEKo_AOvgmWnwc66V1nb2IETEFogP0OKZM 397
aalpy/base/Automaton.py sha256=P4tjmMNvjqO-sazCI5ooeoqTFr3gxNA6p61x2i4mZq0 16904
aalpy/base/CacheTree.py sha256=VMOjXlhHZZn1n-je8nBUcAidEDzNwLtlJsuEmiFZ4lM 5567
aalpy/base/Oracle.py sha256=NQH6EqMAATISHaegIkiXEfRA8EesaM1mFwK3dFcfGlU 1178
aalpy/base/SUL.py sha256=IcYrtS4yDumzE9PQf0Yyc-LhVlLr0bOd72VKJJL2PQU 4066
aalpy/base/__init__.py sha256=n9-0MEorB3OczbK-p90_NVa4DUgy7QlYsiODZeOsc-s 121
aalpy/learning_algs/__init__.py sha256=sgYCpJV620towe11uslQnnZGkGzH8K6N8sLyXcPgpZ4 577
aalpy/learning_algs/deterministic/ClassificationTree.py sha256=aAFWhKtP7_jDxwaTBtjdYZNKFywpaTzCFwvF5WKxdwI 20713
aalpy/learning_algs/deterministic/CounterExampleProcessing.py sha256=tcXNk8S36CzS5p6vw1xqFEHrm3U4QCm7baZTzIr_VOU 6815
aalpy/learning_algs/deterministic/KV.py sha256=ZZgPfn5bnziFHlVLWvu461mT0TBPgpm3NhBkjJNz3Ns 6597
aalpy/learning_algs/deterministic/LStar.py sha256=KuvaGmmE_Up8uUZNmdu1NesCmQbkR7pXEiAPxoxxJ0g 8145
aalpy/learning_algs/deterministic/ObservationTable.py sha256=FlpdmWITCMRCc_qGLS8W_oES2dejOur7tdgsgiqjCPg 8099
aalpy/learning_algs/deterministic/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
aalpy/learning_algs/deterministic_passive/GeneralizedStateMerging.py sha256=722NaCDO8Z-PkomCdepKkHMpXEA54rgPhXk33efXzOI 3954
aalpy/learning_algs/deterministic_passive/RPNI.py sha256=28_Yeh0EYLZxvmYtlZffsCbvg5a00ROgrMNpizNa3_c 7619
aalpy/learning_algs/deterministic_passive/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
aalpy/learning_algs/deterministic_passive/active_RPNI.py sha256=f7WakEOC34mQn6bqPzwdC78g1h9zW-snSdpoFCp9rCE 1818
aalpy/learning_algs/deterministic_passive/rpni_helper_functions.py sha256=B4rMmozRUUGexTUIQM9s7pj0pJ3Slbcj4oZ8nO6EzFY 9033
aalpy/learning_algs/non_deterministic/AbstractedOnfsmLstar.py sha256=17z73iXQrYwMwDhRprqnJs9AdMg_BVWUmgGeGKYsaN8 6280
aalpy/learning_algs/non_deterministic/AbstractedOnfsmObservationTable.py sha256=IFNwi9wALmS4So6PUpz8WVaFi7JUBDytnMijME-Wg2w 15505
aalpy/learning_algs/non_deterministic/NonDeterministicSULWrapper.py sha256=uUzaFJQ8K6GwsWyj6PaunMaL08JVOkYNhHoR1jiUnVQ 634
aalpy/learning_algs/non_deterministic/OnfsmLstar.py sha256=G_nvZBrNAO-W5GoDBRRzUj8Cm9myct-0n1W5j76Wuz4 4870
aalpy/learning_algs/non_deterministic/OnfsmObservationTable.py sha256=I64eN2XQ0i7vdJABSyekzUkeZL0zM7kFbTpma285zp4 6828
aalpy/learning_algs/non_deterministic/TraceTree.py sha256=N_DpH2NTFk57wtSATAEbq_7mHNJ6zjPzkXMtsIo9EOE 5808
aalpy/learning_algs/non_deterministic/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
aalpy/learning_algs/stochastic/DifferenceChecker.py sha256=A6XBlZYbqv2omOMoGdaFS9q1E9LvHfxl6-jnjiX7t4U 7587
aalpy/learning_algs/stochastic/SamplingBasedObservationTable.py sha256=Ur-MD9DlbsIISMzeuAPmNmW-ExB4KJZb_2epOHJasak 24894
aalpy/learning_algs/stochastic/StochasticCexProcessing.py sha256=CERL0cmypQ6PuS2LwgQfBBoYeA-OHaPTtm2bedRdf-c 3296
aalpy/learning_algs/stochastic/StochasticLStar.py sha256=KImK-9pM9aztqf2GYbuuNxcBB5aJw_sIMuOePZ66ef0 9953
aalpy/learning_algs/stochastic/StochasticTeacher.py sha256=eyEA3M6lA5vEGJ4UGZViG3bsBm4Ts-nNs61t12ZM6xc 12846
aalpy/learning_algs/stochastic/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
aalpy/learning_algs/stochastic_passive/ActiveAleriga.py sha256=4SOTAn5sBGcq7Px8SysPku4Flnd3cxB1L4FR-LHWyrM 2804
aalpy/learning_algs/stochastic_passive/Alergia.py sha256=LIBF4WcHc4RAaghjrmCBi6To8R4F3wmM-DpSYfS0bjA 9869
aalpy/learning_algs/stochastic_passive/CompatibilityChecker.py sha256=yr95hXqoGZPlWZ8rxJiQqK-heCJ3_1pziXAtkfVNt28 1707
aalpy/learning_algs/stochastic_passive/FPTA.py sha256=3u7xZBkfEB8kD9sBx3chTI0flLyqm75LKvbtEYCxSVY 3065
aalpy/learning_algs/stochastic_passive/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
aalpy/oracles/BreadthFirstExplorationEqOracle.py sha256=k2RWXIFFbBgeL1G2aCCR-FyTR7EnRr9qhICl8nVSF9A 1382
aalpy/oracles/CacheBasedEqOracle.py sha256=hi5eQiOf93NbyUdsB7oCaqkiDycQ4gNGpqJqKquX3I0 3038
aalpy/oracles/PacOracle.py sha256=7Wg4_WeFis2qw-JKlgv2WrFcbCcCdCSUZIVPWsi55LI 1670
aalpy/oracles/PerfectKnowledgeEqOracle.py sha256=fnG_78t51oBwi4tDMjCqV5w-WL67hbOzo18LNkbsQL8 607
aalpy/oracles/ProvidedSequencesOracleWrapper.py sha256=Z24Ind2g1XE81_V3p-xdxmW9RqLJHfbvkaWUcXEjJPg 1624
aalpy/oracles/RandomWalkEqOracle.py sha256=DgPnuYYEmnp-3BeyKiifv44AyMS65leKxf1-vYyY32I 2898
aalpy/oracles/RandomWordEqOracle.py sha256=KQHxwpet4LpL3d1p7fFAi-aeYkl_CYpW1bZs9tgwDuo 3343
aalpy/oracles/StatePrefixEqOracle.py sha256=NfgZ_8sTIaLf7nqMf814GS-xbHC9YTsVKMBuBnP4m7Q 2738
aalpy/oracles/TransitionFocusOracle.py sha256=DwMSyqKCAD5dqYGEH-WbGe4IVtS_fIm7xa-gAACexvw 1970
aalpy/oracles/UserInputEqOracle.py sha256=1Evzm_98E4J0i-U8TJQRHLQI6vaBquvSIcyWYx3Ponc 2567
aalpy/oracles/WMethodEqOracle.py sha256=jXUoCHbSxSPCjSgNbMpX6BuTqsmjSf5-dkcNtq0FsFY 4399
aalpy/oracles/__init__.py sha256=sRc5ZP8vXkqGGmnFsEcypEF1jTOEOVn_gcf-j2q9WAA 768
aalpy/oracles/kWayStateCoverageEqOracle.py sha256=89e3ghLi1SFXSyKqRZLHTQ99Tjh55p0IfvjZxRjYIcM 2595
aalpy/oracles/kWayTransitionCoverageEqOracle.py sha256=k1WkyNN_0EjYII8tEicCmXfNcgXMuT1V1B0MRdoL8WA 6264
aalpy/utils/AutomatonGenerators.py sha256=U_tsMtOebnKAbYwigdXVw2ytFJ4Uu-bGDKz-EN0dPj8 21736
aalpy/utils/BenchmarkSULs.py sha256=o6bbM1QlJ3qK1AQeN_83m2yxL8ApvDJBTGIFWnJUzX8 12908
aalpy/utils/BenchmarkSevpaModels.py sha256=bwlHVg0Z6CtL7ge0YV0LA2HwSyDF_Bczh6aq0Jnkfd4 10773
aalpy/utils/DataHandler.py sha256=jscODbOQRuWMKtoR7ou6RKy8hNe0aWCI3lor_M8Viq4 2153
aalpy/utils/FileHandler.py sha256=UEdJ1teH5j1BKchw62o04tPzMoGRzKwu9ghmG0XFkkA 18958
aalpy/utils/HelperFunctions.py sha256=b7pBGB967kku-7lThIxAm2oP5hoWk37gccEDe6zAYL0 11157
aalpy/utils/ModelChecking.py sha256=YAmGf0BOJSeFgg-mvNKdf-e1fjrdSQu-hVxcIvrickI 15774
aalpy/utils/__init__.py sha256=ksx2gyt0S-XppoY2H1mtCpEp2gAWXawcZ8xFZcG6n0M 841
aalpy-1.4.1.dist-info/LICENCE.txt sha256=6PhOo_OnpkgcIlwLIVzqTEBv-a9-gYw-BAV4HIdO-Y0 1181
aalpy-1.4.1.dist-info/METADATA sha256=cm2c767uRz9Hgmo14RqlYr1OzPC0f45qUKwI0KLC4JI 10325
aalpy-1.4.1.dist-info/WHEEL sha256=D1Wh14kWDxPnrM-5t_6UCB-UuQNrEODtRa3vF4OsvQY 97
aalpy-1.4.1.dist-info/top_level.txt sha256=Y20GlNzDowGtNjqyE09gUKkpPEoWwOzqrC_RzAAX0Hg 6
aalpy-1.4.1.dist-info/RECORD — —

top_level.txt

aalpy