Quick steps to get started with Next Release Tool

Step 1: Download the archive file of the tool and extract its content into any directory of your drive.

Step 2: Since the reasoning functionality of the tool relies on OptiMathSAT solver, installation of OptiMathSAT is required. For this, you need to download OptimMathSAT  solver and extract its contents into OptiMathSAT folder of the extracted tool.

Step 3: Run the launcher (NRT-Tool) of the tool, as it is Eclipse based application no prior setup or installation is required.

Step 4: After running the launcher, a splash screen will appear indicating that the program is loading, and then you will be asked to read and accept the terms of use. By accepting this licence agreement  you can start working on the tool.