-
Notifications
You must be signed in to change notification settings - Fork 0
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.
FilipSefcik/DDD
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
About
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.
Topics
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published