diff --git a/Project.toml b/Project.toml
index 983325e..0b6d838 100644
--- a/Project.toml
+++ b/Project.toml
@@ -1,4 +1,4 @@
-name = "CDCL"
+name = "CDCLsat"
 uuid = "b71133ba-6b01-47a0-b4fe-e7a9e8ed2c06"
 authors = ["ruberith <mail@ruberith.dev>"]
 version = "0.1.0"
diff --git a/README.md b/README.md
index 22c67d9..eed066a 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-# CDCL
+# CDCLsat
 
 CDCL SAT Solver
 
@@ -14,7 +14,7 @@ Check satisfiability (SAT) of a propositional logic formula in Conjunctive Norma
 
 ```
 julia> ]
-pkg> add CDCL
+pkg> add CDCLsat
 ```
 
 ## Usage
@@ -42,7 +42,7 @@ Note that a model should not be reused.
 ## Example
 
 ```julia
-using CDCL
+using CDCLsat
 
 model = Model()
 
diff --git a/src/CDCL.jl b/src/CDCLsat.jl
similarity index 99%
rename from src/CDCL.jl
rename to src/CDCLsat.jl
index 6ea438b..fadae72 100644
--- a/src/CDCL.jl
+++ b/src/CDCLsat.jl
@@ -1,4 +1,4 @@
-module CDCL
+module CDCLsat
 
 export Model, Variable, Clause, @variable, @clause, solve!
 
diff --git a/src/output.jl b/src/output.jl
index b61a9d0..8ccc30a 100644
--- a/src/output.jl
+++ b/src/output.jl
@@ -138,7 +138,8 @@ function output_model(model::Model)::Nothing
         title="{yellow}C{/yellow}" *
               "{magenta}D{/magenta}" *
               "{blue}C{/blue}" *
-              "{cyan}L{/cyan}",
+              "{cyan}L{/cyan}" *
+              "sat",
         title_style="bold",
         subtitle="v0.1.0",
         subtitle_style="bold",