diff --git a/README.markdown b/README.markdown index 2e002945..5defe0a9 100644 --- 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 b/scripts/deps/setup-unisamp.sh similarity index 100% rename from scripts/deps/setup-unigen.sh rename to scripts/deps/setup-unisamp.sh