add: links to the official docs

jsfpdn · Dec 15, 2024 · 36e519a · 36e519a
1 parent ab68baa
commit 36e519a
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 5 deletions.
diff --git a/README.md b/README.md
@@ -6,9 +6,7 @@
 [Sentential Decision Diagrams (SDD)](https://en.wikipedia.org/wiki/Sentential_decision_diagram):
 a succinct representation of Boolean functions.**
 
-<!-- TODO: FIx links. -->
-Comprehensive introduction to this library can be found [here](https://github.com/jsfpdn/sdd-rs/).
-Crate's API documentation can be found [here](https://github.com/jsfpdn/sdd-rs/).
+Crate's API documentation can be found [here](https://docs.rs/sddrs/latest/sddrs/).
 
 ## :tada: Features
 
@@ -29,7 +27,7 @@ To use the compiler within a project, add the following line to your Cargo.toml:
 
 ```toml
 [dependencies]
-sddrs = { git = "https://github.com/jsfpdn/sdd-rs" }
+sddrs = { version = "0.1" }
 ```
 
 Then import the crate, initialize an `SddManager` and compile Boolean functions!

diff --git a/bin/Cargo.toml b/bin/Cargo.toml
@@ -25,7 +25,7 @@ path = "main.rs"
 tracing-subscriber = "0.3"
 tracing = "0.1"
 clap = { version = "4.5.4", features = ["derive"] }
-sddrs = { path = "../sddrs" }
+sddrs = { version = "0.1" }
 anyhow = "1.0"
 
 [lints]