Wheelodex » Projects » avicenna » avicenna-0.9.0-py3-none-any.whl

avicenna

View on PyPI — Reverse Dependencies (0)

0.9.0 avicenna-0.9.0-py3-none-any.whl

Wheel Details

Project: avicenna
Version: 0.9.0
Filename: avicenna-0.9.0-py3-none-any.whl
Download: [link]
Size: 45428
MD5: c8d476e21e58417915397c37138f832a
SHA256: 83db532b5ead839734b45b8ca6ab1914c52c45a9d6b4dcc54ea8cb69fe8b9ba1
Uploaded: 2023-08-21 09:23:36 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt · entry_points.txt

METADATA

Metadata-Version: 2.1
Name: avicenna
Version: 0.9.0
Summary: AVICENNA: Semantic Debugging
Author: Martin Eberlein
Author-Email: martin.eberlein[at]informatik.hu-berlin.de
Home-Page: https://github.com/martineberlein/semantic-debugging
Project-Url: Bug Tracker, https://github.com/martineberlein/semantic-debugging/issues
License: MIT License
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python :: 3.10
Classifier: Operating System :: OS Independent
Classifier: Topic :: Scientific/Engineering
Classifier: Topic :: Software Development :: Testing
Requires-Dist: fuzzingbook (~=1.1)
Requires-Dist: isla-solver (>=1.14.1)
Requires-Dist: islearn (>=0.2.15)
Requires-Dist: shap (>=0.41)
Requires-Dist: lightgbm (>=3.3.2)
Requires-Dist: pandas (>=1.4.4)
Requires-Dist: numpy (>=1.23.2)
Requires-Dist: scikit-learn (>=1.1.2)
Requires-Dist: pytest (>=7.2.0); extra == "dev"
Requires-Dist: twine; extra == "dev"
Requires-Dist: flaky (>=3.7.0); extra == "dev"
Provides-Extra: dev
Description-Content-Type: text/markdown
License-File: LICENSE
[Description omitted; length: 9019 characters]

WHEEL

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

RECORD

Path Digest Size
avicenna/__init__.py sha256=CPCkCVBj9k0IguAtmxc7xGtsGEDKdke3PfCPjF7xYAI 62
avicenna/avicenna.py sha256=m7vyi3Alf1fWTWJCKhtSrUpJWNlGVKrtJLIsB_M3zpQ 12218
avicenna/cli.py sha256=T_qhh_L3GjNc5JXbqEmSB0Q2Y6POUaCPcpbC0cMgDzY 6914
avicenna/evaluation_setup.py sha256=1G29FXFPp2ZoX_tX1CnErv-32q25Z92mwhCHTNO9R7o 2987
avicenna/execution_handler.py sha256=-masGhghUwhBKt3sxpMM6GMnPk0LgHKyvpVYGUE_AWA 2412
avicenna/feature_collector.py sha256=fwhg00IARiApQdOxWNL3aZvGCa2yc46jWQEtIK1wkKs 2273
avicenna/feature_extractor.py sha256=DukztJjUSjvfb4fupcdOOxIHbUf12UtlKeaML19CdQs 8515
avicenna/features.py sha256=SHDIsDsfTZSyZQLH3PlXkVB6cIR91olG2qthhJtz--o 8308
avicenna/generator.py sha256=mXkcZ22TNiYpiXSZqdGqOaBRnQ71frNJ3pyKANBWeWk 3270
avicenna/helpers.py sha256=vUaDJIZFw_xRxDrijFnFejbk4lR5rviyY1ehVOnKKU8 2097
avicenna/input.py sha256=FCEyasZSegh0L5EsORsumZilVfQ23k1T6B2mn5BQAWc 2771
avicenna/learner.py sha256=Jl3pwnZE6GxW8SAkpxaeMPkkOPXTYg0udrA5sYb5qEQ 7415
avicenna/logger.py sha256=Nq7vkZvKnR2NDZUEvFnRJCLGNARpg5rxf1J6RX-3EyQ 491
avicenna/monads.py sha256=7aImKS3xz7WMl4VJ66nAZOwFCyjdu-0EkJUWpda8zik 3754
avicenna/oracle.py sha256=wpFHuaI_bV_FhN0vo76jArMwhMgCl4oUaKFfMOhjxjs 209
avicenna/pattern_learner.py sha256=T1hY8Bh2JWfDd7yhMSgYkmcZAqUZlCOi5MFWKAvoHGw 18796
avicenna/performance_evaluator.py sha256=Pn5HCU55403s9AsS4gB2kNBAiIKte7bWwofndm2DabU 2873
avicenna/report.py sha256=W3seUvwfPwKh6d6TVDcY28iHOG9Q22Ki0q2-1S2T2d0 2564
avicenna/result_table.py sha256=cOECECw70g7ZhDgpUEnVQxUs5y4lVBeya3tZ_TR0Ksk 5846
avicenna_formalizations/__init__.py sha256=RGEzfteno22Ogn9VWzFOBbHPWFfX1Q9oSFp6ZH8EDgc 340
avicenna_formalizations/calculator.py sha256=Q5ejmbEigmh56rl3FlvHiyoyPebN9PcQyl0NTE9Yjsc 1000
avicenna_formalizations/fastapi_api.py sha256=UvNf-Ymbx6HPcGdz3F3zsq2H9HwW7CyYvPOJl8AfDps 10521
avicenna_formalizations/genson.py sha256=gw4t9biMmlae2ox8wBhycmVDb7jJBNrYMSZp2OP3d8s 1885
avicenna_formalizations/heartbeat.py sha256=VCD9HO4-UN5ADOQwFfPSGBCJxt_44Zns4VVw-gZwpI0 6450
avicenna_formalizations/middle.py sha256=LqljGFglblFLKWXZajVPYXeiJMwBOwxS9B60_KFyeak 1463
avicenna_formalizations/patterns.toml sha256=krv70HaTmh6CVEsX-fUdYjX3xzmKEXM4MMlmlfrqpAc 2512
avicenna_formalizations/patterns_islearn.toml sha256=81m0RUAhGCii1e5blbvU2QcWGskPVHNjM3Z2YNREzSQ 9227
avicenna_formalizations/tests4py.py sha256=QDJbtsAfPo91pCUnN-Vp9WAmhT_8DJ-lXZILv9RfTO0 6561
avicenna-0.9.0.dist-info/LICENSE sha256=I3hZjcTLShj3DexQUcztxNuyxcqh_AMtWyB7odA93VI 1072
avicenna-0.9.0.dist-info/METADATA sha256=8xWRbemJFSTGnCGW9qB3Mk0SMbOA_UxW8Po3ZNA6E3U 10144
avicenna-0.9.0.dist-info/WHEEL sha256=2wepM1nk4DS4eFpYrW1TTqPcoGNfHhhO_i5m4cOimbo 92
avicenna-0.9.0.dist-info/entry_points.txt sha256=qFAXqxJ1KqYCALVecBRgtZ32iv0umx_eyKUW6WI6fmw 47
avicenna-0.9.0.dist-info/top_level.txt sha256=JolbXOK88Pnb0GlkVeZro29a9IFcp7sjC6bcdAIKP-E 33
avicenna-0.9.0.dist-info/RECORD — —

top_level.txt

avicenna
avicenna_formalizations

entry_points.txt

[console_scripts]
avicenna = avicenna.cli:main