Skip to content

i have a problem #11

@OYlili

Description

@OYlili

when i open run_tests.bat is shows
During handling of the above exception, another exception occurred:

Traceback (most recent call last):
File "E:\AlphaGeometryRE-master\src\test_graph.py", line 19, in
import test_alphageometry
File "E:\AlphaGeometryRE-master\src\test_alphageometry.py", line 20, in
import alphageometry
File "E:\AlphaGeometryRE-master\src\alphageometry.py", line 27, in
import lm_inference as lm
File "E:\AlphaGeometryRE-master\src\lm_inference.py", line 2, in
from chatllm.bindings import chatllm
File "E:\AlphaGeometryRE-master\src\chatllm\bindings\chatllm.py", line 13, in
import model_downloader
ModuleNotFoundError: No module named 'model_downloader'
Traceback (most recent call last):

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions