From f619e4fbe19a3455b5f9aec98596caaa438ca55d Mon Sep 17 00:00:00 2001 From: MEO265 <99362508+MEO265@users.noreply.github.com> Date: Tue, 6 Jan 2026 20:57:04 +0100 Subject: [PATCH 1/4] Correction of email --- DESCRIPTION | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/DESCRIPTION b/DESCRIPTION index aaaa6be..babb097 100644 --- a/DESCRIPTION +++ b/DESCRIPTION @@ -2,7 +2,7 @@ Package: Rcudd Title: R-Wrapper for the CUDD BDD Library Version: 0.0.0.9999 Authors@R: c( - person("Matthias", "Ollech", email = "ollech@gmx.de", role = c("aut", "cre")), + person("Matthias", "Ollech", email = "ollech@gmx.com", role = c("aut", "cre")), person("Regents of the University of Colorado", comment = "Copyright holder of included CUDD library", role = "cph") ) Description: From a5e44353b7a9106d8747c44a446ea0fa26b9c247 Mon Sep 17 00:00:00 2001 From: MEO265 <99362508+MEO265@users.noreply.github.com> Date: Tue, 6 Jan 2026 20:58:08 +0100 Subject: [PATCH 2/4] Set release version --- DESCRIPTION | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/DESCRIPTION b/DESCRIPTION index babb097..72c429e 100644 --- a/DESCRIPTION +++ b/DESCRIPTION @@ -1,6 +1,6 @@ Package: Rcudd Title: R-Wrapper for the CUDD BDD Library -Version: 0.0.0.9999 +Version: 0.1.0 Authors@R: c( person("Matthias", "Ollech", email = "ollech@gmx.com", role = c("aut", "cre")), person("Regents of the University of Colorado", comment = "Copyright holder of included CUDD library", role = "cph") From a62e563236add2e26bb10bd76cc382dcf4586ef5 Mon Sep 17 00:00:00 2001 From: MEO265 <99362508+MEO265@users.noreply.github.com> Date: Tue, 6 Jan 2026 22:06:45 +0100 Subject: [PATCH 3/4] Update DESCRIPTION --- DESCRIPTION | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/DESCRIPTION b/DESCRIPTION index 72c429e..2407cef 100644 --- a/DESCRIPTION +++ b/DESCRIPTION @@ -6,8 +6,10 @@ Authors@R: c( person("Regents of the University of Colorado", comment = "Copyright holder of included CUDD library", role = "cph") ) Description: - Wrapper for the CUDD library providing Binary Decision Diagrams (BDDs) functionality in R. - For now, only a some functionality for reducing Logical expressions using BDDs is provided. + Provides an R interface to the 'CUDD' library + () for working with binary decision diagrams + (BDDs) and supports reduction of logical expressions using BDD-based + methods. License: GPL (>= 3) RoxygenNote: 7.3.3 Encoding: UTF-8 From fd4fa0d8dd51cfb871d1f656a34c92cc4558fa5e Mon Sep 17 00:00:00 2001 From: MEO265 <99362508+MEO265@users.noreply.github.com> Date: Tue, 6 Jan 2026 22:20:43 +0100 Subject: [PATCH 4/4] Reduce depending version --- DESCRIPTION | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/DESCRIPTION b/DESCRIPTION index 2407cef..4306b4f 100644 --- a/DESCRIPTION +++ b/DESCRIPTION @@ -16,5 +16,5 @@ Encoding: UTF-8 Depends: R (>= 4.0) Suggests: - testthat (>= 3.0.0) + testthat (>= 3.0) Config/testthat/edition: 3