svmranker:main
This is an old revision of the document!
Table of Contents
Main || Tool || Usage & Case Study
Introduction
SVMRanker is a general framework for proving termination of loop programs.SVMRanker utilizes SVM techniques to synthesize multiphase ranking functions to prove program termination.
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
svmranker/main.1605618220.txt.gz ยท Last modified: 2020/11/17 21:03 by merlin