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,,
