svmranker:tool
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
svmranker:tool [2020/11/17 21:51] – [Tool] merlin | svmranker:tool [2020/11/18 19:47] – [Related tools] merlin | ||
---|---|---|---|
Line 5: | Line 5: | ||
===== SVMRanker is available on GitHub ===== | ===== SVMRanker is available on GitHub ===== | ||
+ | SVMRanker is now publicly available on GitHub at [[https:// | ||
+ | |||
+ | ---- | ||
===== Installation ===== | ===== 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 ====== | ||
The SVMRanker is mainly developed by: | The SVMRanker is mainly developed by: |