You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We need to compile the library (.so) files of all theories using a 32-bit gcc compiler on Windows. Then, in the Python code, we need to be able to distinguish 32- vs 64-bit platforms and load the appropriate library.
The text was updated successfully, but these errors were encountered:
To install 32-bit gcc compiler on a 64-bit Windows, download "MinGW-w64" from SourceForge (https://sourceforge.net/projects/mingw-w64/) and select "Architecture i686" during installation.
We need to compile the library (.so) files of all theories using a 32-bit gcc compiler on Windows. Then, in the Python code, we need to be able to distinguish 32- vs 64-bit platforms and load the appropriate library.
The text was updated successfully, but these errors were encountered: