From 27b857e6bbe0f3520f30088dee2be781d9f0323e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Steffan=20S=C3=B8lvsten?= Date: Tue, 19 Mar 2024 11:29:49 +0100 Subject: [PATCH] Move BDDSharp to C# section --- bdd.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bdd.md b/bdd.md index abb9048..fffdd0f 100644 --- a/bdd.md +++ b/bdd.md @@ -131,7 +131,6 @@ - [libDDD](https://lip6.github.io/ITSTools-web/libddd.html) (LGPLv3, [C++](https://github.com/lip6/libDDD)): integer-valued data decision diagrams and hierarchical set decision diagrams (LIP6, Sorbonne Univ., CNRS) - [TdZdd](https://github.com/kunisura/TdZdd) (MIT, C++): top-down breadth-first n-ary DD/ZDD manipulation, parallel processing with OpenMP - [CacBDD](http://www.kailesu.net/CacBDD/) (BSD-3, C++) -- [BDDSharp](https://github.com/ancailliau/BDDSharp) (MIT, C\#): (U Catholique Louvain) - [LaVaBDD](http://www.ulb.ac.be/di/ssd/nmaquet/lavabdd/0.4/doc/index.html) (?, C++): Lattice-valued BDDs (ULB) - [`wld`](https://ira.informatik.uni-freiburg.de/software/wld/) (FUSC, C++): word-level DDs (UFreiburg) - [BDS](http://www.ecs.umass.edu/ece/labs/vlsicad/bds/bds.html) (FUSC, C): (UMass) @@ -147,6 +146,7 @@ - [ZDD](https://github.com/tanakalab/ZDD) (?, C++): Multi-terminal ZDDs # C# # +- [BDDSharp](https://github.com/ancailliau/BDDSharp) (MIT, C\#): (U Catholique Louvain) - [PAT BDD library](https://www.comp.nus.edu.sg/~pat/bddlib/) (?, C\#): BDD library for symbolic model checking of hierarchical systems, with a C\# interface to CUDD version 2.4.2 - [SylvanSharp](https://github.com/thisiscam/SylvanSharp) (?, C\#): bindings to Sylvan - [BuDDySharp](https://github.com/thisiscam/BuDDySharp) (?, C\#): bindings to BuDDy