This repository contains the paper and implementation on Binary Decision Diagrams.
The application is written in C++ using Qt Framework 5.11 and qmake.
The paper is in Serbian and can be read here.
This repository has been archived by the owner on Jun 5, 2022. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
Automated Reasoning course project - Binary Decision Diagrams C++ implementation and paper (in Serbian)
License
ivan-ristovic/BDD
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Automated Reasoning course project - Binary Decision Diagrams C++ implementation and paper (in Serbian)
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published