Differences

This shows you the differences between two versions of the page.

--- svmranker:tool [2020/11/17 21:51] – [SVMRanker is available on GitHub] merlin
+++ svmranker:tool [2020/11/20 14:10] – merlin
@@ Line 1: / Line 1: @@
-**[[svmranker:main| Main ]]** ||  **[[svmranker:tool| Tool ]]** ||  **[[svmranker:usage| Usage & Case Study ]] **
+{{:svmranker:main.png?nolink|}}**[[svmranker:main| Main ]]{{:svmranker:tool.png?nolink|}}[[svmranker:tool| Tool ]]{{:svmranker:usage.png?nolink|}}[[svmranker:usage| Usage & Case Study ]] **
 ====== Tool ======
 ===== SVMRanker is available on GitHub =====
 SVMRanker is now publicly available on GitHub at [[https://github.com/ESEC-FSE-2020-Tool-Demo-ID21/SVMRanker|this repository]].
+----
 ===== Installation =====
+You should have installed Python 3 and Java Development Kit on your system. Currently we can successfully run SVMRanker with Python 3.7 and JDK 8.0.
+==== Install Python packages ====
+  pip3 install z3-prover
+  pip3 install click
+  pip3 install sklearn
+  pip3 install python-constraint
+----
+====== Related tools ======
+[[http://irankfinder.loopkiller.com:8081/#sec-home |IRankFinder]]: A termination analyzer for (integer) transition systems which uses quasi-ranking functions \\
+[[https://cpachecker.sosy-lab.org/|CPAChecker]]: A Software Verification Tool for Configurable Program Analyses \\
+[[https://monteverdi.informatik.uni-freiburg.de/tomcat/Website/?ui=tool&tool=lasso_ranker|LassoRanker]]:A tool for synthesizing termination and nontermination arguments for linear lasso programs via constraint solving,
+----
 ====== Contact ======
 The SVMRanker is mainly developed by: