GitHub repository: FilipSefcik/BDD_Distributor
Primary language: C++
Created: 2023-11-26T19:16:01Z
Description: One day, this repository will contain a program which will load .pla files containing BDD diagrams, divide them into smaller pieces, send them to other computers in network, which will calculate the satisfy count of BDDs using TeDDy library. One day...