issues running macleod with python3 (python2 version is ok)

[carmenchui]

Hi @thahmann / @Fxhnd / @evanmrsampson,

I might be missing some steps here to get macleod running on Python3, just wondering if any of you can help troubleshoot?

The older macleod Python2 scripts I have from 2016 (possibly from this commit or older: https://github.com/thahmann/macleod/tree/fa5c900afdb46b34be85865b07ad68b0a520d09b) run without issues (give or take, there's an I/O logging error on my copy that gets thrown but it doesn't seem to affect anything when I run the scripts for CLIF -> Prover9 translation):

Here's my current setup:

• OS X Yosemite (10.10.5) on Macbook Pro
• Python 3.6.4
• pip and pip3 are installed, along with texttable
• macleod Python3 scripts are on my Desktop since I don't want to mix it with the Python2 version
• followed a similar setup to the Python2 version of the scripts with modifying the macleod_mac.conf file and making sure Prover9 and Vampire binaries are in the provers/ folder
• added the macleod directory to the PYTHONPATH variable

I'm getting the following error:

The README lacks instructions on what is needed for the Python3 version (since setup.py is there) so I assumed it was a similar setup with the Python2 version of macleod.. I'm not sure if it's just a result of conflicting python/python3 and pip/pip3 packages or a relative vs. absolute path error that python3 can't find the macleod module.

If you can help out, it'd be greatly appreciated.

Thanks, Carmen

[evanmrsampson]

There are a couple issues w gui_alpha @thahmann / @Fxhnd

• Every reference to "src" needs to be changed to "macleod"
• Every reference to "tasks" needs to be changed to "bin"

These problems also apply to the stuff in tasks as well.

[carmenchui]

Per my discussion with @thahmann last week, I managed to get the most recent commit to run on Python3 on my Mac, so I'll be closing this issue but will post if I come across any issues/errors with the updated GUI.