Update DSHARP links

Closes #25.
QuMuLab · Dec 11, 2020 · cf9c6b3 · cf9c6b3
1 parent 213524c
commit cf9c6b3
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -78,7 +78,7 @@ interface.
 
 # DSHARP interoperability
 
-[DSHARP](https://bitbucket.org/haz/dsharp) is a program that compiles CNF
+[DSHARP](https://github.com/QuMuLab/dsharp) is a program that compiles CNF
 sentences to (s)d-DNNF sentences. The `nnf.dsharp` module contains tools for
 parsing its output format and for invoking the compiler.
 

diff --git a/testdata/satlib/README.md b/testdata/satlib/README.md