GitHub repository: FilipSefcik/DDD
Primary language: C++
Created: 2024-11-13T23:57:55Z
Description: 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.