search

laitep / Prover9-Mace4-GUI

Self-contained user interface for Prover9 and Mace4.
GNU General Public License v3.0
0 stars 0 forks source link

MacOS ARM not able to open input file #4

Open lakshmi930 opened 1 month ago

lakshmi930 commented 1 month ago

I'm not able to open an input file on MacOS ARM. I have installed the latest version for ARM. I have also run the command to fix the issue with the release.

For now, I have fixed the code by adding a try-catch. Is there some way we can fix this along with any planned updates for the MacOS system?

jaraujo98 commented 2 weeks ago

@lakshmi930 thank you for the report. Can you please provide more details about the input file that caused the error and your solution using try-catch? My guess is that your input file had UTF-8 characters, and I recall having run into problems with them when I was preparing this release. If that is the case, avoiding UTF-8 characters should solve the problem.

The goal of this repository is to maintain a working version of the Prover9-Mace4 GUI, rather than update it. However, we welcome both ideas and contributions! Is there any update you would like to see?

lakshmi930 commented 2 weeks ago

@jaraujo98 I will try rephrasing the issue, I was not even able to get the Select File Dialog to open on MacOS. Only adding the try-catch it worked, the dialog opened and I was able to select an input file.