Wheelodex » Projects » aalpy

aalpy

View on PyPI — Reverse Dependencies (0)

1.4.2 aalpy-1.4.2-py3-none-any.whl

Wheel Details

Project: aalpy
Version: 1.4.2
Filename: aalpy-1.4.2-py3-none-any.whl
Download: [link]
Size: 131132
MD5: b23e5938f087f092e77925ed0c59dfeb
SHA256: 13f533ba70807b729841cd79267233a329472dda0f510c83fc8e53f767384abe
Uploaded: 2024-10-08 07:05:48 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version: 2.1
Name: aalpy
Version: 1.4.2
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: 8173 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=I4PV7eEiBSTV_FAeWmB7OrwfrSY6A1Q2qhVJpYam3Cw 2029
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=ETtys28iWemZwNqfRV39QmuR2n2eO2Usad9OfwAj1kQ 23590
aalpy/automata/StochasticMealyMachine.py sha256=-fXMrZAIYAiQZKCljG4lteg3HV36GiUVYFlEbIadMjM 4899
aalpy/automata/Vpa.py sha256=6oqQbT4cTbvpxmGR4-9PBx8eunFgn4JWEJx1CRa3cNU 13118
aalpy/automata/__init__.py sha256=gZD1RlZCfggSVmAsh9ilzn0VeqLtRvFUL-aJExmWDSk 456
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=H3dzzwucjGxmGiut_h6ACLLw1t4H4MYtZnIZL3gj8V4 588
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=vpTbgVrUZ3zkDoQG7Io4xNOoeEQ4iaCgmQ3sesMWQVg 3989
aalpy/learning_algs/deterministic_passive/RPNI.py sha256=kcw4JJXL-R1HPDuwFajeZESsKK5NrzRBZ7OB4I8Zf9U 9726
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=Ol3sDBzuJ8I2lDKKu4u8eon5ZZ-b4pPAQq57874y-Ws 6479
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=waQyRQejbk9zehcGR4IQ04cDnw0-7TgUjAUrhgE8Ups 12910
aalpy/utils/BenchmarkSevpaModels.py sha256=bwlHVg0Z6CtL7ge0YV0LA2HwSyDF_Bczh6aq0Jnkfd4 10773
aalpy/utils/BenchmarkVpaModels.py sha256=ct5TQ4fKbx9wDigU8txz4CgvK79C7zfKqNKXur4_tJo 16029
aalpy/utils/DataHandler.py sha256=jscODbOQRuWMKtoR7ou6RKy8hNe0aWCI3lor_M8Viq4 2153
aalpy/utils/FileHandler.py sha256=Jvao4Om9BOALQcafO4HiEbWz_JgEqQzzWAJ8NRUQIQ0 18064
aalpy/utils/HelperFunctions.py sha256=3nEXHBK0CPslnTCrhciSXAgRllI2JjB5NfsIqSbmQYs 13000
aalpy/utils/ModelChecking.py sha256=14VTH8dzjONntmmLfuvY4wUP_XYCTxt-EZp02FcoZAc 16105
aalpy/utils/__init__.py sha256=FJB_b1OpkJRicmDms_4Hz9xkW7LRMrAFOVs2ZZy7MII 1066
aalpy-1.4.2.dist-info/LICENCE.txt sha256=6PhOo_OnpkgcIlwLIVzqTEBv-a9-gYw-BAV4HIdO-Y0 1181
aalpy-1.4.2.dist-info/METADATA sha256=gpDXux6n38xlomMFEE2lE3T98IAqW6ImsFbc7xDHsQQ 8643
aalpy-1.4.2.dist-info/WHEEL sha256=D1Wh14kWDxPnrM-5t_6UCB-UuQNrEODtRa3vF4OsvQY 97
aalpy-1.4.2.dist-info/top_level.txt sha256=Y20GlNzDowGtNjqyE09gUKkpPEoWwOzqrC_RzAAX0Hg 6
aalpy-1.4.2.dist-info/RECORD — —

top_level.txt

aalpy