impi | Verify proper golang import directives

I'm trying to do some proofs manually in Isabelle but I'm struggling with the following proof: lemma "(A ∩ B) ∪ C ⊆ A ∪ C "

I'm trying to transform it Propositional Logic then prove it.

So here's what I tried:

I have been trying to use PyInstaller to distribute my program as a bundled .exe file to my colleagues. The program, which analyses text data, runs perfectly from my CMD. I am using PyInstaller 3.6, Python 3.7, Windows 10, and Anaconda3 as my python environment. The program has quite a few dependencies including nltk, gensim, wordcloud, sklearn, matplotlib, mpld3, seaborn, pandas, numpy, xlsxwriter and a few standard libraries. It is also quite a long program, ~2000 lines.

The Problem: So far, I've successfully built the .exe file (as a one-folder and one-file bundle). To test whether the .exe file works, I run it from my CMD. All is going well (my imports and functions run OK, I am prompted to enter the name of the Excel file containing text data, the text is cleaned etc) but it abruptly terminates, without any warning or error message, on a line that uses Gensim's SparseTermSimilarityMatrix function. I experimented by commenting out this line and it terminates on the very next line, again without any message.

I am building the .exe file using a .spec file (so that I can add data files to my bundle and several hidden imports to overcome Module Not Found Errors). The only indication I have as to what is causing this problem are warnings about missing DLLs during build-time:

I am trying to submit a job with slurm. However, the job fails if I use srun or mpirun. However, it runs fine with mpiexec, albeit running with only single process despite multiple nodes and multiple cores being allocated.

The actual command used is:

I wanted to transform this proof to Isar as ab exercise (for myself to learn Isar) using only basic natural deduction rules (ND) from propositional logic (e.g. notI, notE, impI, impE... etc).

I can do it in an apply script easily:

I've built a working py script using PikePDF and PDFminer3 that will take a PDF off my desktop and create a txt file out of the words available.

The purpose of this is to help my team at work amend legal documents that often cannot be copy-pasted for amendments (and must therefore be typed out by hand). As most of my colleagues are averse to setting up anaconda and using python, I wanted to use pyinstaller to turn my script into an .exe.

When I run the application created by pyinstaller, I am able to complete a few preliminary inputs before I get this error:

I'm developing a log lib for myself, and want it can be used in a way like the style of iostream. For example:

I used Pyinstaller to turn my Python script into an standalone executable program.

My script works when I test it in spyder, but as an exe it does not, and I can't see why.

My program is composed of :

• A treatment that is a series of functions. It take as input two csv files and return a one-row pandas DataFrame. The last function is called add_data()

• A test() function that calls add_data(), saves its result in a csv file and notifies the user when the execution is over

• An execute_test() function with a try-except condition ; try calls test() with the user inputs from the GUI, except shows an error messagebox.

• A tkinter GUI asking the user to select two csv files + a directory in which test() will save the csv result.

On spyder, when executing the python script I select the files and directory and it returns the "treatment done" messagebox, so the problem should not come from the script itself.

Pyinstaller successfully builds the exe file. I can open it, the GUI and a command prompt appear ; the entries and buttons work fine.

When launching the treatment after selecting the same files and directory, it only returns the error messagebox, which means the treatment did not execute for some reason. The only message I got from the prompt was this one :

C:\Users...\Continuum\miniconda3\envs\myenv\lib\site-packages\PyInstaller\loader\pyimod03_importers.py:627: MatplotlibDeprecationWarning: The MATPLOTLIBDATA environment variable was deprecated in Matplotlib 3.1 and will be removed in 3.3.

I don't explicitly import matplotlib in my program, and I did not install it in my environment before. I did after this message, but it changed nothing.

Including the whole code of my treatment would be too long, but what I explicitly import within are : pandas, geopandas, shapely.geometry, tkinter (see code below). Since I got issues (solved) from this before, it also seems to need pyproj when using geopandas

If needed, I can provide the whole prompt outputs I got when turning the script into an .exe. What might be worth mentionning is that I got :

• some excluding imports concerning PySide, PyQt5, gtk, matplotlib, PyQt4, tkinter

• this warning : 71826 WARNING: Hidden import "PyQt5.sip" not found!

• And warnings stating it did not find some DLL :

I have a job information file which is named tmpInfo.txt in my project. The content of tmpInfo.txt is like:

I am new to Docker and I am trying to create an image where I install Intel MPI runtime. I set the WORKDIR and I have the .tgz file incompressed in that folder. But I am unable to run the install.sh

When the docker build fails, it still creates an image. I can run a container off of that image and I can manually install using the same command. But this command fails during docker build and I cannot figure out why.

-Sachin

My Dockerfile: