reasoning_core/__init__.py,sha256=UgzfaDO52iHVaiCIZG46ndUL2WoqUbNGFMgEj95OBSM,4620
reasoning_core/downstream_eval.py,sha256=UBtGIUzDMqY8Nd53lkruUkCsiqkH8_2T00UtaE5pBUA,1422
reasoning_core/generation_worker.py,sha256=jX-7wVB94WG3RVqzYt9GLBC7lAx0k2a86f43hiMLFf0,3663
reasoning_core/template.py,sha256=2ATLFb3AkCJLZ6uP7Of2EQOehQkWinHxVa4ZDb3XaYE,11256
reasoning_core/environments/reasoning_core_env/reasoning_core_env.py,sha256=M-2OI76pOhJHQQBH-clgOn4mGsBEoljBCPNX9Qgizbk,3681
reasoning_core/resources/axioms_filtered.json.gz,sha256=Imr_NkD2hgeESXnABwtg1pbppzkfAu8KNfsNLsqoZFA,103497
reasoning_core/tasks/_logic_utils.py,sha256=3BA5iW2PkZKM04ZjGgP3ALAIqNBB0tGWQ-fIkf2PtQQ,2192
reasoning_core/tasks/_reasoning_gym.py,sha256=Tcz2tNr_VnDjm6kY6CJ3sGw8X4UneC2u0FxyTcwliLM,1096
reasoning_core/tasks/_sat_graph.py,sha256=lVNt3cngHrJZsICJJ_wzloVXZPOnm0bThrQeJFkWMBc,8909
reasoning_core/tasks/arithmetics.py,sha256=JTWNlVr_i49XYhadSO8D-2QlHhHow15ETn_Rs_2VIoM,3270
reasoning_core/tasks/equation_system.py,sha256=Lt9vMOhfFTp1qkTIg7eQUXq2W5SuWMMdmFgORfgBgec,5791
reasoning_core/tasks/formal_maths.py,sha256=LdPXzHQ5x37hJIdw39R1zKwSamsdZd8tc8aGU61WbzQ,27965
reasoning_core/tasks/grammar.py,sha256=duA2Qdx_NBJqSG11DSHNPIONRWb-1PXjjtO8ErfMd7k,6135
reasoning_core/tasks/logic.py,sha256=KUxYOLazNvD4iUTYPcE9f2Zxz2c_zvNPyWMKHavIJwc,6647
reasoning_core/tasks/planning.py,sha256=RbFws1SE5TJg39p-M7C6B_KIxatibT9O1crN-G8cLrc,13816
reasoning_core/tasks/regex_following.py,sha256=F8U37MqqQSS3njs6v066ZMTE7kpa8WeAxrX82vzxiI0,6724
reasoning_core/tasks/sequential_induction.py,sha256=8iF5w0GmwNfRVYd_B52K5wjWE3DzjF-a5Q57VM7FQnI,16090
reasoning_core/tasks/set_operations.py,sha256=xKye5ZIDfFzWYO-ciSFT5OyYWkWGQvFBoMjDdBlBnaA,6150
reasoning_core/utils/__init__.py,sha256=h2oQAT7gV2hHC_f2v--gwd3PWzc_QKZMq6cCXRiIyhY,862
reasoning_core/utils/udocker_process.py,sha256=mjXBjesh6o4itPGlTQDFFyFRctb9fssSiAeaymfqCMs,7946
reasoning_core-0.1.10.dist-info/licenses/LICENSE,sha256=fnFw486_iKn2DHuEIUGDI8CTBNoa9NXpD02h3ByKJmE,18650
reasoning_core-0.1.10.dist-info/METADATA,sha256=MbB60ZMWtOdUSKl1qu9mBsUpcTzDWRD4njr0GcptlCk,820
reasoning_core-0.1.10.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
reasoning_core-0.1.10.dist-info/top_level.txt,sha256=AICj-UqxqZ2RUfnZvRHE0loIhub_o6Iod1wD3fvrdTQ,15
reasoning_core-0.1.10.dist-info/RECORD,,
