svmranker:main
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| svmranker:main [2020/11/17 21:04] – merlin | svmranker:main [Unknown date] (current) – removed - external edit (Unknown date) 127.0.0.1 | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | | ||
| - | ====== 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.1605618249.txt.gz · Last modified: 2020/11/17 21:04 (external edit)