From 1a2c76a1fbdab4eb481dac7a47799e982d9ca9ab Mon Sep 17 00:00:00 2001
From: ruberith <mail@ruberith.dev>
Date: Wed, 3 May 2023 01:37:35 +0200
Subject: [PATCH] Update Installation in README

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index b07a086..22c67d9 100644
--- 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