updated doc & metainformation

crillab · Jul 15, 2024 · 15b2431 · 15b2431
1 parent 85c3c71
commit 15b2431
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -6,6 +6,7 @@ version = "0.1.0"
 description = "A library for Decision-DNNFs."
 categories = ["command-line-utilities", "science"]
 keywords = ["decision", "DNNF", "model", "counting", "enumeration"]
+homepage = "https://www.cril.univ-artois.fr/software/decdnnf-rs/"
 repository = "https://github.com/crillab/decdnnf_rs"
 rust-version = "1.72.1"
 edition = "2021"

diff --git a/README.md b/README.md
@@ -2,6 +2,10 @@
 
 Rust tools for Decision-DNNF formulas, including translation, model counting and model enumeration.
 
+Decdnnf-rs is a tool for manipulating Decision-DNNFs produced by [d4](https://www.cril.univ-artois.fr/software/d4/).
+It allows queries such as counting models, searching for models under assumptions, or enumeration of solutions, for which it excels.
+It also provides a tool for translating formulas generated by d4 into the format generated by [c2d](http://reasoning.cs.ucla.edu/c2d/).
+
 ## Compiling/installing decdnnf-rs from sources
 
 Decdnnf-rs requires a recent version of the Rust toolchain (>= 1.72.1).