search

teacherpeterpan / Logic-LLM

The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"
MIT License
267 stars 43 forks source link

Problems with running the code #5

Closed wernerolaf closed 1 year ago

wernerolaf commented 1 year ago

Hello, I have troubles with running the code, First of all I get an errors from unused import. After optimizing imports I get an following error ModuleNotFoundError: No module named 'func_timeout'

wernerolaf commented 1 year ago

Now I have an issue with installing pyke

wernerolaf commented 1 year ago

Now code runs after additional installs