Commit 8c8469b4 authored by Hao Hu's avatar Hao Hu
Browse files

fix error in README

parent 15dcd396
...@@ -9,7 +9,7 @@ The Source code for paper: ...@@ -9,7 +9,7 @@ The Source code for paper:
The benchmark is selected for [MaxSAT Evaluation 2021](https://maxsat-evaluations.github.io/2021/). The benchmark is selected for [MaxSAT Evaluation 2021](https://maxsat-evaluations.github.io/2021/).
## Prerequisiteshttps://gepgitlab.laas.fr/hhu/maxsat-decision-trees ## Prerequisites
Some necessary python packages needed to execute the code: Some necessary python packages needed to execute the code:
-**python-sat**: check in (https://github.com/pysathq/pysat). It contains the API for different SAT solver and RC2 as MaxSAT solver. -**python-sat**: check in (https://github.com/pysathq/pysat). It contains the API for different SAT solver and RC2 as MaxSAT solver.
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment