Update README.markdown

msoos · Apr 12, 2024 · bc79b23 · bc79b23
1 parent ad8a4d1
commit bc79b23
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.markdown b/README.markdown
@@ -294,7 +294,7 @@ You can see an example project using CryptoMiniSat in Rust [here](https://github
 Preprocessing
 -----
 If you wish to use CryptoMiniSat as a preprocessor, we encourage you
-to try out our model counting preprocessor, (Arjun)[https://www.github.com/meelgroup/arjun].
+to try out our model counting preprocessor, [Arjun](https://www.github.com/meelgroup/arjun).
 
 Gauss-Jordan elimination
 -----