LS-Lab/KeYmaeraX-release

Mathematica and Wolfram Engine Configuration

umerhuzaifa opened this issue · 1 comments

umerhuzaifa commented

On every run, I have to go to Preferences to configure the paths for Wolfram Engine or Mathematica. However, every time as I press Save, the software just hangs. I have tried updating the .conf file as well with the correct paths for JLink and MathKernel too but to no avail. I am using a Windows 10 operating system.

image

smitsch commented

It seems that the connection to Mathematica is blocked. Please try the following configuration options:

  • try toggling true/false; connection over TCPIP is sometimes more stable, but if true, a firewall may block the connection
    MATH_LINK_TCPIP = true
  • check the library paths in keymaerax.conf and check file access rights
    MATHEMATICA_LINK_NAME = C:\path\including\MathKernel.exe path must include MathKernel.exe
    MATHEMATICA_JLINK_LIB_DIR = C:\path\to\JLinkNativeLibrary.dll path must not include JLinkNativeLibrary.dll
  • is KeYmaera X executed from a folder or with a user that has limited access rights to the user home directory?
  • is the Mathematica license local or obtained from a license server? if license server, could something block access to it?