Okapi Tools with MTUOC connector and redistributable Java This distribution adds two funcionalities:
- A connector to use MTUOC engines
- A distributable version of Java of the needed version (Adoptium - https://adoptium.net/). This allows the direct use of the tools without the need to install/upgrade/downgrade Java in your system.
In Windows:
Download and unzip the distribution from: http://lpg.uoc.edu/MTUOC/okapiMTUOC-win.zip
- to use the Okapi Tools using the Java installed in your system use: tikal.exe, rainbow.exe, ratel.exe and checkmate.exe.
- to use the Okapi Tools using the embedded Java use: tikalMTUOC.bat, rainbowMTUOC.bat, ratelMTUOC.bat and checkmateMTUOC.bat.
In Linux:
Download and unzip the distribution from: http://lpg.uoc.edu/MTUOC/okapiMTUOC-linux.zip
- to use the Okapi Tools using the Java installed in your system use: tikal.sh, rainbow.sh, ratel.sh and checkmate.sh.
- to use the Okapi Tools using the embedded Java use: tikalMTUOC.sh, rainbowMTUOC.sh, ratelMTUOC.sh and checkmateMTUOC.sh. You may need to give execution permission to all the sh files (
chmod +x *.sh) and to the distributed java (chmod +x jdk-17.0.15+6-jre/bin/java)
In MacOS:
Download and unzip the suitable version for your architecture:
- htpp://lpg.uoc.edu/MTUOC/okapiMTUOC-macosx-x86_64.zip
- http://lpg.uoc.edu/MTUOC/okapiMTUOC-macosx-aarch64.zip
And then:
- to use the Okapi Tools using the Java installed in your system use: tikal.sh, Rainbow.app, Ratel.app and Checkmate.app.
- to use the Okapi Tools using the embedded Java use: tikalMTUOC.sh, rainbowMTUOC.sh, ratelMTUOC.sh and checkmateMTUOC.sh.