update readme

meelgroup · Dec 4, 2023 · efae971 · efae971
1 parent 20107e7
commit efae971
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/README.markdown b/README.markdown
@@ -25,7 +25,7 @@ git submodule init && git submodule update
 ./scripts/deps/setup-outputcheck.sh
 ./scripts/deps/setup-cms.sh
 ./scripts/deps/setup-minisat.sh
-./scripts/deps/setup-unigen.sh
+./scripts/deps/setup-unisamp.sh
 mkdir build
 cd build
 cmake ..
@@ -89,8 +89,8 @@ Out[9]: 180388626432
 
 # Authors
 
-* Arijit Shaw
-* Kuldeep S. Meel
+* [Arijit Shaw](https://arijitsh.github.io)
+* [Kuldeep S. Meel](https://www.cs.toronto.edu/~meel/)
 
 Please refer to  STP/UniSamp/ApproxMC for the respective authors.
 
diff --git a/scripts/deps/setup-unigen.sh → scripts/deps/setup-unisamp.sh b/scripts/deps/setup-unigen.sh → scripts/deps/setup-unisamp.sh