From 75d725246d31926c3bc49accc20117c6a417de6d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Steffan=20S=C3=B8lvsten?= Date: Tue, 19 Mar 2024 11:41:24 +0100 Subject: [PATCH] Add 'Biodivine/LibBDD' and 'OxiDD' --- bdd.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/bdd.md b/bdd.md index abb9048..a0f7fd3 100644 --- a/bdd.md +++ b/bdd.md @@ -229,6 +229,8 @@ # Rust - [`boolean_expressions`](https://github.com/cfallin/boolean_expression) (MIT, Rust): BDD implementation, conversion from/to formulae with cubelist-based minimization +- [`Biodivine/LibBDD`](https://github.com/sybila/biodivine-lib-bdd) (MIT, Rust) +- [`OxiDD`](https://github.com/OxiDD/oxidd) (Apache-2/MIT, Rust) - [`cudd_rust`](https://github.com/malie/cudd_rust) (BSD-3, Rust): bindings to CUDD # PHP