svmranker:tool
Differences
This shows you the differences between two versions of the page.
Next revision | Previous revisionLast revisionBoth sides next revision | ||
svmranker:tool [2020/11/17 20:55] – 外部编辑 127.0.0.1 | svmranker:tool [2020/11/20 14:10] – merlin | ||
---|---|---|---|
Line 1: | Line 1: | ||
+ | {{: | ||
+ | ====== Tool ====== | ||
+ | |||
+ | |||
+ | ===== SVMRanker is available on GitHub ===== | ||
+ | SVMRanker is now publicly available on GitHub at [[https:// | ||
+ | |||
+ | ---- | ||
+ | |||
+ | ===== 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:// | ||
+ | [[https:// | ||
+ | [[https:// | ||
+ | |||
+ | |||
+ | |||
+ | ---- | ||
+ | |||
====== Contact ====== | ====== Contact ====== | ||
- | ===== Authors ===== | + | The SVMRanker is mainly developed by: |
* [[https:// | * [[https:// | ||
Line 8: | Line 40: | ||
* Xie Li (Institute of Software, CAS) | * Xie Li (Institute of Software, CAS) | ||
+ | Following people are also involved in the ROLL project: | ||
+ | * [[http:// | ||
+ | | ||
+ | * [[https:// | ||
+ | | ||
+ | * [[https:// | ||
Questions, comments and suggestions are welcome to be sent to one of the developers. | Questions, comments and suggestions are welcome to be sent to one of the developers. |