Problem with Mathematica/Wolfram engine versions

LS-Lab / KeYmaeraX-release

KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

http://keymaeraX.org/

GNU General Public License v2.0

75 stars 37 forks source link

Problem with Mathematica/Wolfram engine versions #73

Closed JaimePSantos closed 3 years ago

JaimePSantos commented 3 years ago

Hello, After reading your building instructions, I noticed that JLink is required to be up to version 12.0. However, I cannot find a version of Wolfram Engine older than 12.2 and only have access to Mathematica 12.1/12.2. Is there any way to circumvent this, or do you know of somewhere I could find Wolfram Engine 12.0? Thanks!

smitsch commented 3 years ago

Fixed in f3ef3c7bfa3f0a6047b4d772e70ea4c54d3dfee2