From 28ca7dcc0a42a610382b2450d9a9ca26937f9208 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Steffan=20S=C3=B8lvsten?= Date: Tue, 19 Mar 2024 11:33:23 +0100 Subject: [PATCH] Add PJBDD --- bdd.md | 1 + 1 file changed, 1 insertion(+) diff --git a/bdd.md b/bdd.md index abb9048..589a2a9 100644 --- a/bdd.md +++ b/bdd.md @@ -171,6 +171,7 @@ - [Jedd](https://www.sable.mcgill.ca/jedd/) (Java, LGLPL-2): Java Extension for Decision Diagrams based on the polyglot framework, supports as backends: CUDD, BuDDy, SableJBDD, JavaBDD - [zdd_java](https://github.com/higotakayuki/zdd_java): educational ZDD implementation - [HumbleBDD](https://github.com/powerofpi/HumbleBDD) (MIT, Java): BDDs, ZDD +- [PJBDD](https://gitlab.com/sosy-lab/software/paralleljbdd/-/tree/main) (Apache-2, Java) # Javascript - [binary decision diagram](https://github.com/pubkey/binary-decision-diagram) (Apache-2, JavaScript): A library to create, minimize and optimize binary decision diagrams