Rename package

ruberith · ruberith · commit cbf077da8fdd · 2023-05-03T19:13:11.000+02:00
diff --git 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
@@ -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/CDCLsat.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
@@ -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",

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-name = "CDCL"`
	`1`	`+name = "CDCLsat"`
`2`	`2`	`uuid = "b71133ba-6b01-47a0-b4fe-e7a9e8ed2c06"`
`3`	`3`	`authors = ["ruberith <[email protected]>"]`
`4`	`4`	`version = "0.1.0"`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-module CDCL`
	`1`	`+module CDCLsat`
`2`	`2`
`3`	`3`	`export Model, Variable, Clause, @variable, @clause, solve!`
`4`	`4`