svmranker:tool
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
svmranker:tool [2020/11/17 22:02] – merlin | svmranker:tool [Unknown date] (current) – removed - external edit (Unknown date) 127.0.0.1 | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | **[[svmranker: | ||
- | |||
- | ====== 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 ====== | ||
- | |||
- | |||
- | ====== Contact ====== | ||
- | The SVMRanker is mainly developed by: | ||
- | |||
- | * [[https:// | ||
- | | ||
- | * [[https:// | ||
- | | ||
- | * 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. | ||
- | |||
- | Address for visiting: Building 5, Software Park, No.4, South 4th Street, Zhongguancun, | ||
- | |||
- | Zip Code: 100190 | ||