Update Installation in README

ruberith · ruberith · commit 1a2c76a1fbda · 2023-05-03T01:37:35.000+02:00
diff --git a/README.md b/README.md
@@ -14,7 +14,7 @@ Check satisfiability (SAT) of a propositional logic formula in Conjunctive Norma
 
 ```
 julia> ]
-pkg> add https://github.com/ruberith/CDCL.jl
+pkg> add CDCL
 ```
 
 ## Usage
