Path |
Digest |
Size |
symcollab/Unification/__init__.py |
sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU
|
0 |
symcollab/Unification/ac_unif.py |
sha256=AYkFRi5AbmGdhyJQfa-pSbmheOH9hjA2VEp4W08L-5w
|
3596 |
symcollab/Unification/bool_unif.py |
sha256=mQisqCsDXs6jeZv2M4_18YNSykeeuJj404Fc406CrRU
|
23214 |
symcollab/Unification/eac_unif.py |
sha256=GD2V2igPsgrI13f-QdOxQUOfIyHeA7yhpVUvAk7IsQA
|
13279 |
symcollab/Unification/flat.py |
sha256=Do2g3cFCuQ0-IeeSsO756sM6fEqBe1OpXUXEpBZr9Xc
|
1089 |
symcollab/Unification/h_eac_unif.py |
sha256=xAgietm7GJb6QLwJXM3OyWSSv9wfr10XV5GTFOLdOro
|
1866 |
symcollab/Unification/hermite.py |
sha256=hjTngPu94NagDuaeJNLQvHt8HJ0lkYgNL1YM0t3Ffwc
|
3142 |
symcollab/Unification/p_syntactic.py |
sha256=f39x62A_se7E_rrMKfjq5RmmOAlh0i056OhRl6JySYM
|
571 |
symcollab/Unification/p_unif.py |
sha256=HLRjss1riA-f5vq9Qakdx1zB3KKT1QLTFKl_sv7Sdno
|
13343 |
symcollab/Unification/partitions.py |
sha256=C6yze-XZf8dtJiTOgdznAgyAnSK9dfF90cxZd19hezA
|
389 |
symcollab/Unification/saturation.py |
sha256=ArSua8b2bCUQT8OrFJTaYr8ufFS6e39WpQtJC7naZJI
|
10363 |
symcollab/Unification/syntactic_slow_fast.py |
sha256=eD0MueAM3WXZSnk_MAb71MtGOZdOx-OzXAIDx6Wi-CE
|
2761 |
symcollab/Unification/unif.py |
sha256=xB3N-7j3_o2XhAQ40ATVDPKIkxqMak5iSXnFAag4EJI
|
2279 |
symcollab/Unification/xor_rooted_unif.py |
sha256=sq8kDNUTKvPiBtIrIhDQd37acq11EMZAURyYe1hHKhY
|
17530 |
symcollab_unification-0.1.1.dist-info/METADATA |
sha256=5wCdX0mI-DTClxW_9k3P6NP8l-rzEqh0KUEj-gOmgms
|
411 |
symcollab_unification-0.1.1.dist-info/WHEEL |
sha256=OqRkF0eY5GHssMorFjlbTIq072vpHpF60fIQA6lS9xA
|
92 |
symcollab_unification-0.1.1.dist-info/top_level.txt |
sha256=NRdZAxBfhnCAcFVBRyFWMEjSr_Wj-jm7Hm6YIVS4K_g
|
10 |
symcollab_unification-0.1.1.dist-info/RECORD |
— |
— |