Name | Modified | Size | Downloads / Week |
---|---|---|---|
Parent folder | |||
JSoko_1.70-src.zip | 2013-07-31 | 13.2 MB | |
JSoko_1.70.zip | 2013-07-31 | 7.8 MB | |
Totals: 2 Items | 21.1 MB | 0 |
Windows users: Download and run the installer package: JSoko_2.xx_windows-x64.exe JSoko saves the settings and database file in the app data folder (%appdata%\jsoko). Alternatively you can use this file: JSoko_2.xx_windows-x64.zip is a zipped version WITHOUT an installer. So you can just unzip the files and start JSoko. Mac users: Use the package: JSoko_2.xx_macos.dmg Linux/Unix users: Package JSoko_2.xx_linux.deb: This package can be used for e.g. Ubuntu or Linux Mint. JSoko will be installed in the folder /opt/JSoko In this folder there is a file called "JSoko.vmoptions". You should edit this file (e.g. with: "sudo xed /opt/JSoko/JSoko.vmoptions") and add a new line at the end of the file that specifies the maximum amount of RAM JSoko can use. For example, if you want JSoko to use 8GiB of RAM, add -Xmx8192m This is important for the optimizer and solver to get the best results. Package JSoko_2.xx_unix.tar.gz: This package doesn't contain an installer. You have to extract the contents to any folder. Then you can start the program by double clicking on the file "JSoko". See info about the "JSoko.vmoptions" file above. JSoko will store the settings and the database file in the application data folder (usually ~/.config/jsoko and ~/.local/share/jsoko). You can use the sha256sum file to verify the files (use the command: sha256sum). Operating system independent: JSoko_2.xx-src.zip contains the source code and all other files (graphics, sounds, ...) of JSoko. It's possible to build the program using the ant command. JSoko_2.xx.zip contains the program as a jar file. This can only be used if a JRE is installed on the computer. It's recommended to use one of the installers instead, since they include a JRE.