fix: emojis in README

jsfpdn · Dec 15, 2024 · df5e4fc · df5e4fc
1 parent 72dff9a
commit df5e4fc
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/sddrs/Cargo.toml b/sddrs/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "sddrs"
-version = "0.1.0"
+version = "0.1.1"
 edition = "2021"
 authors = ["Josef Podany"]
 repository = "https://github.com/jsfpdn/sdd-rs"

diff --git a/sddrs/README.md b/sddrs/README.md
@@ -1,10 +1,10 @@
-# :books: sddrs: Bottom-Up Sentential Decision Diagram Compiler
+# sddrs: Bottom-Up Sentential Decision Diagram Compiler
 
 **Incrementally build, manipualate, and optimize
 [Sentential Decision Diagrams (SDD)](https://en.wikipedia.org/wiki/Sentential_decision_diagram):
 a succinct representation of Boolean functions.**
 
-## :tada: Features
+## Features
 
 The compiler currently supports:
 
@@ -15,7 +15,7 @@ The compiler currently supports:
 * SDD compilation from CNF in
   [DIMACS](https://www21.in.tum.de/~lammich/2015_SS_Seminar_SAT/resources/dimacs-cnf.pdf) format.
 
-## :package: Usage
+## Usage
 
 The following snippet compiles the function $(A \land B) \lor C$ to an SDD,
 computes number of its models, enumerates and prints them to the stdout,