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