ACT4E-exercises

View on PyPIReverse Dependencies (0)

7.3.2310261700 ACT4E_exercises-7.3.2310261700-py3-none-any.whl

Wheel Details

Project: ACT4E-exercises
Version: 7.3.2310261700
Filename: ACT4E_exercises-7.3.2310261700-py3-none-any.whl
Download: [link]
Size: 71864
MD5: f9b89f202c644623cede820fa5c2f1b1
SHA256: b2ff29c5c5e3e93a6a1f706301b19c132090766aa01e1f5c2802e664952b9edb
Uploaded: 2023-10-26 15:01:04 +0000

dist-info

METADATA

Metadata-Version: 2.1
Name: ACT4E-exercises
Version: 7.3.2310261700
Author: Andrea Censi
Author-Email: Andrea Censi <acensi[at]ethz.ch>
Requires-Dist: ruamel.yaml
Requires-Dist: typing-extensions
Requires-Dist: zuper-commons-z7
Requires-Dist: zuper-html-plus-z7
Requires-Dist: zuper-html-z7
Requires-Dist: zuper-testint-z7
Requires-Dist: zuper-typing-z7
Provides-Extra: test
[No description]

WHEEL

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

RECORD

Path Digest Size
act4e_checks/__init__.py sha256=EzLLdSJg99u7zmKHeJy2J4a8UQLhgsrdaP3JwlgERBo 96
act4e_checks/actual_tests.py sha256=4F9SWp1yygQXOqsTL-jxlD6d4uzTwxr5QIsyTfrzpU8 208
act4e_checks/currency_checks.py sha256=Gdm20_dcVSBoXDqSKoVUCnSpRkXjmHOpLl8oYsc6R2Y 4898
act4e_checks/data.py sha256=2-W7Cb-noVLOPWt-N8y1iVgfSw3JdBhmAyvgXwAL9DE 9854
act4e_checks/intro.py sha256=tXPtcKQ9xNP46hYHrZ2LnOPN3rgneE7t2wu3gvpqRtc 315
act4e_checks/loading.py sha256=bGerrH37ra47CHNkCZ80beCF3pbeVPyNivQXPwI8Q3I 539
act4e_checks/maps.py sha256=uBS4Vqk5RX8WYSIL8h-D-nA6VbuNj-GUl4JLNzwHAiA 6970
act4e_checks/posets_bounds.py sha256=rnYVNErdyfHXoqwIRp2jlb4stZi64-n2LLyhZBb-uZQ 10505
act4e_checks/posets_construction.py sha256=qcqcaQAnDG51CouqeSPSRm0X_emKImbrfCcDdu2a-ds 2364
act4e_checks/posets_interval.py sha256=12DmXYOfMm8k4aH1x3eooIjvVyvxSlbkSH5brh4Bpow 4325
act4e_checks/posets_lattices.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
act4e_checks/posets_maps.py sha256=VNMBlWtWAkIbSG7kFcPOGaJ0fQewJ_znvzh-nfFZgKg 1156
act4e_checks/posets_monoidal.py sha256=BleaFSp4-yBWu_ZFWuoIXv13e8tA-2ZwdDBPAcwLI88 283
act4e_checks/posets_product.py sha256=1DK49KIwFf2Za9G3wbmKPiVx0zlxbo-raRNtFBMhUfE 1742
act4e_checks/posets_representation.py sha256=PBV3EmqXOPFU6UbYSWQDsHBl5qAPfxbc8_nnBEbc9oU 1137
act4e_checks/posets_sum.py sha256=z40tMHVMpMNPnFDow9ZAFCYBjolFEFeUZRqLn6kfl4w 1373
act4e_checks/posets_utils.py sha256=As48mBCiB1ulFZJs849EaU7uS8KYGbSEYsYCZModNtE 5102
act4e_checks/py.typed sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
act4e_checks/relations.py sha256=TZsXNpYyH408ZOcAwHMUSS6-rCUCY4dQHk5y_y2KCyc 9213
act4e_checks/semicat_representation.py sha256=6zEeV6N8DezvCCzBWNZxsXleMVtLUSBtNOWhtvOuq-g 6139
act4e_checks/semigroups.py sha256=JD0s0cbo8AjxMC0EFBvc-ZpzqYWgKf8zTleJ9f_LwjU 10294
act4e_checks/semigroups_morphisms_operations.py sha256=7Ca_t8AbrLLm8ls4qQ5h6_ty-qUBO6Ug_rdtjCJ7NhY 2941
act4e_checks/semigroups_morphisms_representation.py sha256=UaCcoR344toQghNgR7aRW3VnU4FTXRncTqASUhERbNs 6312
act4e_checks/setoids_operations.py sha256=IsCEHAtVBRkgbSOvhz-CIVXwFUl1SoGairKWUjG08BM 445
act4e_checks/sets.py sha256=JLtTa7YW4fqUQWytVZf_9f-vfiYBqX1rWn0UoxTiALs 2447
act4e_checks/sets_power.py sha256=H8nWrsWgGx8J7KW9xl1KRc85n0422eiLEe8Mq3eh42I 2122
act4e_checks/sets_product.py sha256=OWRAdO9X3PoxgbaXXvypyByXmLS6Y7hFQhr8AOliECo 2435
act4e_checks/sets_representation.py sha256=Hqs3ac98-dBqdAKioR5Q8ilHlKf_GOA-cggQiTzaqYw 4687
act4e_checks/sets_sum.py sha256=cv2RVP3tgCShv9EIsVANlFYlLPEZWb4d3J-d_nWYwQI 2388
act4e_checks/sets_union_inter.py sha256=qCKEz7giOpXbFRNOq9KU22QS9OfrVog_lZmZlRNp9bw 1381
act4e_checks/sets_utils.py sha256=-Wv8SXPWYfrZ7k6FrOYh3XLwcAB-wus4bMdTSLaQdro 3533
act4e_checks/todo.py sha256=xF_HLKVAF9Tw-pwHc3RibByXg0EsZboiwW5rl2ALOA8 1830
act4e_checks/good/__init__.py sha256=WfiZWiNqIqX4diPOpLSrweTdUqwjHmow5xzAXxL02V0 67
act4e_checks/good/finite_set.py sha256=s_RQFXYc44sKL_uMCzomQw664XNVOTtSLjBTNeKUABE 744
act4e_checks/good/finite_set_representation.py sha256=iMCGxTvOwDuRCC11q19mAGahVpJ9WiQRvVpDRhq831A 865
act4e_checks/good/intro.py sha256=4FOAFm0PKtPAxO3s-xAg04N17tU3qia-MT9ljkivpRg 146
act4e_checks/good/py.typed sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
act4e_checks/thedata/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
act4e_checks/thedata/categories.yaml sha256=a2WfSlKNLdorjPzDA2YGIy8pqP8kZAvZ894c3W3ReUc 5581
act4e_checks/thedata/categories_composite.yaml sha256=AfGnieWzMN53ponNdw0frJF8N8OHvux2ULyJuisLcGM 7
act4e_checks/thedata/categories_curr.yaml sha256=yL-AnRMBgLa1b9n7evBN6arN_4cAb70v-jMp5naaM5c 3904
act4e_checks/thedata/dps.yaml sha256=f463EG52enkotorzWjebaEybXsvE-j-d2SY_oOdEhBc 91
act4e_checks/thedata/dps_composite.yaml sha256=AfGnieWzMN53ponNdw0frJF8N8OHvux2ULyJuisLcGM 7
act4e_checks/thedata/functors.yaml sha256=bn7DW0aR-4BTMEkjG1GSMczu-K-VuEsucWh4CnqJHMs 270
act4e_checks/thedata/graphs.yaml sha256=AfGnieWzMN53ponNdw0frJF8N8OHvux2ULyJuisLcGM 7
act4e_checks/thedata/maps.yaml sha256=stTzutMmVs-cx0SsChgmdm8sysC1xvwdpCP_-_Nskc8 1953
act4e_checks/thedata/natural.yaml sha256=JVhk3xdL8xssy8mzvOsItW1PElxRHAH8JrRA1R9f1AM 113
act4e_checks/thedata/posets.yaml sha256=DjEciGzKnRTvG3iwg2dloVPDeJagEYnigAXVL__8oDY 7553
act4e_checks/thedata/posets_composite.yaml sha256=HwxXimkxgI4OcpFc-Uv-KLKbjxr6dT-hQk4-Cy8dNEE 323
act4e_checks/thedata/relations.yaml sha256=XeKpVQRKn5UbEvtDjBR9CWlSDRL3jwbk8CTr3vrF6F0 3489
act4e_checks/thedata/semigroups.yaml sha256=JjIb6fTOKxn80M37qQHXIFQ9AiaHjVIqqbhtqmaw-Ko 4498
act4e_checks/thedata/semigroups_morphisms.yaml sha256=TT-t-IGr8BAEOsAeMm-931TlaSILIPHsaERtTLMWDaM 844
act4e_checks/thedata/sets.yaml sha256=E6h02z0fSpCeU8vYtikmOl554QgUNuYWqHGaERhheNw 608
act4e_checks/thedata/sets_composite.yaml sha256=ty0pWGUxe1atifV4aLi9-DE9O_NqRGI_8vgi1682tTc 1323
act4e_interfaces/__init__.py sha256=gjx8zIaXRvfarWxwZx73NkX9TvUmtfERafj12Ox_28Y 1320
act4e_interfaces/adjunctions.py sha256=CJOnpcm4nftAe25-tvUnlLLdamSzYit28HrtElfOKxk 1990
act4e_interfaces/adjunctions_representation.py sha256=E6A3ABaW1Ly3cyqxJnq5DUlbST2csLnJF-NkxeEWxdU 575
act4e_interfaces/categories.py sha256=cg4pDF92MLbB8zpOtHADWuwTHl2UkAso1wgaXZV7sxw 3759
act4e_interfaces/categories_monoidal.py sha256=0MYs-BBXBqWs6NkwxHnEmKcSxaULo_J5ZqyLi_BmSS4 775
act4e_interfaces/categories_representation.py sha256=AwKeJhdUq5mqXx-QxJv_ZFsEEa5avvUEskeDtggq1ds 2542
act4e_interfaces/currency_ex.py sha256=ydxKX265XbaoNc2fBvWzIytsYnZxF8uoFf43A17t65w 2827
act4e_interfaces/dps.py sha256=lAtEHTqoJ-PtS2QzA5CzrH-IKx23tIIc4_BdghShBgk 2285
act4e_interfaces/dps_representation.py sha256=LB1cqqhG28Ddu5hwppX4G707JA-MBiilsDoGJ79g2kQ 667
act4e_interfaces/exceptions.py sha256=OnE4qdy6WyrBF6hPxBGEQ-HoPFarBxlYren0AjIJdi8 238
act4e_interfaces/functors.py sha256=hsaDXfgGC2kjaz3SvJyaJ7JHjMYrNLQpm-hTsaVMT_s 973
act4e_interfaces/functors_representation.py sha256=Jxzl_VZi0ubX_mlP2VBCv_T4NhZmYyB_0jjQZ-YcGH0 728
act4e_interfaces/helper.py sha256=JnX1FjHSKrfHexE8iAVXY5ejnqUrctRTwKstEeWtf90 897
act4e_interfaces/intro.py sha256=5M5n66ow32fXO3fTQ6SnIzNWHEimtKEjm2LxxP4vWbA 198
act4e_interfaces/maps.py sha256=cGLi8Y0mMV5Jrm9WhZ1JVBvaGoaGZTxUfGk0Rg8CWRQ 1170
act4e_interfaces/maps_representation.py sha256=wbY_VOm3PFOgiwEpeBAKZLeZz7d1zv2_haOw0CwixDE 556
act4e_interfaces/natural.py sha256=ZJw8mWnyrM_a3-7Kdv_zel7wz2Np0FM4Syd0mQ6yqhA 1035
act4e_interfaces/natural_representation.py sha256=J4A-iOkPuPeoYiXZ7Vmmn883Ga9jkYHPyYKa9YM9VQk 698
act4e_interfaces/posets.py sha256=IZ16M-Fd2ZOfsnLcoe9rAHZ4o0QXYYNdhVeeEIC5jZo 677
act4e_interfaces/posets_bounds.py sha256=Aswx_S1FHp6zqQg9y6HAoXJ5xY7-7WWrdlMTUew6K8Q 2622
act4e_interfaces/posets_construction.py sha256=s5sDZI_voJz76d2J0cgfDpuGRAwwGn7friHZY9oS8CI 1585
act4e_interfaces/posets_interval.py sha256=EV7pZd1gjt-PhqRiY8IW-Wu94G_5zMee7J7eGNNq02I 1560
act4e_interfaces/posets_lattices.py sha256=fgTcuCvTRUI9kS5H5ynQ3ByMv6JjLwG7SoREpLmlJ4U 823
act4e_interfaces/posets_maps.py sha256=6CfwIWwIMyYhqaymCN2OjP_WEIfqHo5GnU_K1_hBTwU 1037
act4e_interfaces/posets_monoidal.py sha256=3BT0ZCrI2wbEn7Trc4d0_gpZcyDQSlvFzxFZnbJ8VMs 1036
act4e_interfaces/posets_product.py sha256=73Tve_HEgXtDz_haXVSySV7bKN5mv4HFBpGlddp1r1I 1230
act4e_interfaces/posets_representation.py sha256=A2X5tY95BXGdZuq_NlSg9673aARoDIQ3YMBbjhK6B8A 1233
act4e_interfaces/posets_sum.py sha256=1dFL2pB6fWoURz2hrY9Y2AdFdWAUGOCvRZ9cb4dwkDs 1310
act4e_interfaces/profunctors.py sha256=znfyz31szvwBxXvhIPEsEbi9UP6ZTndVAwuCCc8HbLc 1145
act4e_interfaces/profunctors_representation.py sha256=DMxcjaETDlc0bGF4zt1BNo1N9-PG_ACjhNWOvE-ah4g 458
act4e_interfaces/py.typed sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
act4e_interfaces/relations.py sha256=12w_Kw8szba_cbo6fMuWdepIt1PpjUoL1Z1LIF2vGsQ 3150
act4e_interfaces/relations_representation.py sha256=02iHbyPjPLIPUmQT75Kw1HhbfDIDZ-9t-3XTSWbxT0Y 862
act4e_interfaces/semigroups.py sha256=7In3ymYj4u7I9_Ou1WKK-mW6YbntGCR92W--OkQ4HuA 3529
act4e_interfaces/semigroups_operations.py sha256=3_d_IKqcUMFQnveXgf4Y_i_5I52551OQR2YtDwxzw4Y 3110
act4e_interfaces/semigroups_representation.py sha256=wR6eMutSn-40t0lyQAG6D9r2oPeo1-jN_hfvtnsdqD0 1074
act4e_interfaces/sets.py sha256=nBZWi0OpPtYA4fk_pHqBgdMbZRMiFSiOsTGnWVZYZzg 2303
act4e_interfaces/sets_power.py sha256=jZbvzvmpfgzGKDPBWhf9rBgCY3etCPuYCKx_dgcG0zA 1145
act4e_interfaces/sets_product.py sha256=2o9okXxrzEsXaJyTekwJMtHGADhlsIYl7fI2bhUhnLM 1385
act4e_interfaces/sets_representation.py sha256=ROT9dP77zGR389EjDIG9B9fcN0xr9L9emz_4D9VjkBI 1533
act4e_interfaces/sets_sum.py sha256=EECJXQ9y_-X869p2lAxxvtr24n0j2waWgtX-FSmICpM 1640
act4e_interfaces/sets_union_inter.py sha256=AiopfrzTrDTssJ09LR4L4jYef4tS4dCMRHNBR91Y26s 1907
act4e_interfaces/types.py sha256=Zrq8NWAGi0FufZc93-ome76hcWWHxWc_5WiO17i5vYY 197
act4e_interfaces/z_ex_rope.py sha256=Py7eG8aYK7YyjcOe7YXxwngcOnp0tg-Qe2e2HmmKsaM 1272
ACT4E_exercises-7.3.2310261700.dist-info/METADATA sha256=AC5q5X8KdcvPiWiDNMS1Lb28vJU7U9QZ1mi_F0vSIW4 385
ACT4E_exercises-7.3.2310261700.dist-info/WHEEL sha256=2wepM1nk4DS4eFpYrW1TTqPcoGNfHhhO_i5m4cOimbo 92
ACT4E_exercises-7.3.2310261700.dist-info/top_level.txt sha256=uVFDf_hej5jIXbNm9Hxz4_Tc1-FVFx62jSgS55f3EXU 30
ACT4E_exercises-7.3.2310261700.dist-info/zip-safe sha256=AbpHGcgLb-kRsJGnwFEktk7uzpZOCcBY74-YBdrKVGs 1
ACT4E_exercises-7.3.2310261700.dist-info/RECORD

top_level.txt

act4e_checks
act4e_interfaces

zip-safe