Rename package

ruberith · May 3, 2023 · cbf077d · cbf077d · ruberith · May 3, 2023
1 parent 1a2c76a
commit cbf077d
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 6 deletions.
diff --git a/Project.toml b/Project.toml
@@ -1,4 +1,4 @@
-name = "CDCL"
+name = "CDCLsat"
 uuid = "b71133ba-6b01-47a0-b4fe-e7a9e8ed2c06"
 authors = ["ruberith <[email protected]>"]
 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/CDCL.jl → src/CDCLsat.jl b/src/CDCL.jl → 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",