#
teddy
Here are 2 public repositories matching this topic...
DDD - Decision Diagram Distributor Project where we are using LAN cluster with Open MPI to calculate wide scale decision diagrams which will be preocessed by a TeDDy library (link to this library in the attachment). This project is inspired by my previous project BDD_Distributor which is public too.
-
Updated
Nov 16, 2024 - C++
Improve this page
Add a description, image, and links to the teddy topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the teddy topic, visit your repo's landing page and select "manage topics."