Docs little changes

aimclub · Apr 18, 2024 · b349240 · b349240
1 parent c33f5c7
commit b349240
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/rho_docs_en/advanced.md b/.github/rho_docs_en/advanced.md
@@ -140,7 +140,7 @@ satisfied in any case, and soft clauses, which can be given a weight,
 and the number (or total weight) of satisfied soft clauses 
 must be maximised when solving the MaxSAT problem.
 
-WCNF in DIMACS format has a little changes compare to CNF: 
+[WCNF in DIMACS](http://www.maxhs.org/docs/wdimacs.html) format has a little changes compare to CNF: 
 each clause is preceded by its weight, with the particular 
 weight value specified in the header indicating that the 
 clause belongs to the hard part. Sctructure of WCNF file:  

diff --git a/README_en.md b/README_en.md
@@ -58,7 +58,7 @@ pip install tqdm
 ### ρ-Backdoor's module documentation
 
 In the [Markdown](https://en.wikipedia.org/wiki/Markdown) file
-[`index.md`](rho_docs_en/index.md).
+[`index.md`](rho_docs_en/intro.md).
 
 ### ρ-Backdoor's module command line parameters