From df5e4fc0452100be494897570aab8bee269921e3 Mon Sep 17 00:00:00 2001 From: Josef Podany Date: Sun, 15 Dec 2024 21:48:55 +0100 Subject: [PATCH] fix: emojis in README --- sddrs/Cargo.toml | 2 +- sddrs/README.md | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/sddrs/Cargo.toml b/sddrs/Cargo.toml index 46ddde5..b473ef7 100644 --- 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 index 9116fa8..c662ab3 100644 --- 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,