SVMRanker is now publicly available on GitHub at this repository.

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.

pip3 install z3-prover
pip3 install click
pip3 install sklearn
pip3 install python-constraint

IRankFinder: A termination analyzer for (integer) transition systems which uses quasi-ranking functions
CPAChecker: A Software Verification Tool for Configurable Program Analyses
LassoRanker:A tool for synthesizing termination and nontermination arguments for linear lasso programs via constraint solving,

The SVMRanker is mainly developed by:

• Xuechao Sun (Institute of Software, CAS)

• Yong Li (Institute of Software, CAS)

• Xie Li (Institute of Software, CAS)

Following people are also involved in the SVMRanker project:

• Yi Li Chongqing Institute of Green and Intelligent Technology

• Andrea Turrini (Institute of Software, CAS)

• Lijun Zhang (Institute of Software, CAS)

Questions, comments and suggestions are welcome to be sent to one of the developers.

Address for visiting: Building 5, Software Park, No.4, South 4th Street, Zhongguancun, Haidian District, Beijing, China

Zip Code: 100190