From bc79b2307d5d17d6b8314730d1792e2b608e85ef Mon Sep 17 00:00:00 2001 From: Mate Soos Date: Fri, 12 Apr 2024 05:37:24 +0200 Subject: [PATCH] Update README.markdown --- README.markdown | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.markdown b/README.markdown index b05361dae..cb9ab1dd1 100644 --- 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 -----