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:
Following people are also involved in the SVMRanker project:
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