Skip to content

38 no zero suppressed decision diagram implemented #51

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
oykukoc wants to merge 40 commits into
base: main
Choose a base branch
from
Open

38 no zero suppressed decision diagram implemented #51

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
40 commits
Select commit Hold shift + click to select a range
ebe1219
Create zdd.hpp
oykukoc Jan 27, 2026
9393aa3
zdd updated
oykukoc Feb 2, 2026
df40779
basic test implemented
oykukoc Feb 3, 2026
bfa9ebe
Update manager.hpp
oykukoc Feb 9, 2026
c942413
zdd updated
oykukoc Feb 9, 2026
6fbf54b
zdd updated
oykukoc Feb 16, 2026
d567587
Update zdd.hpp
oykukoc Mar 2, 2026
dfc5cd4
zdd update
oykukoc Mar 13, 2026
de19ce1
Update comment for conj function in zdd.hpp
oykukoc Mar 13, 2026
69f9a3c
tests for ZDD
oykukoc Mar 13, 2026
c4eecf4
Update zdd.hpp
oykukoc Mar 13, 2026
2c94fd7
Update eval function comment for clarity
oykukoc Mar 13, 2026
124b8ca
deleted diff
oykukoc Mar 29, 2026
a20ab01
deleted check_equiv and reorganized
oykukoc Mar 29, 2026
8c6fa7d
Create logic_minimization.cpp
oykukoc Mar 30, 2026
d43e0f0
main
oykukoc Apr 3, 2026
a498fb2
Update zdd.hpp
oykukoc Apr 5, 2026
64e5df1
Update basic.cpp
oykukoc Apr 5, 2026
8bbb484
Update zdd.hpp
oykukoc Apr 12, 2026
54d6a8e
Update basic.cpp
oykukoc Apr 12, 2026
1805bea
updated
oykukoc Apr 22, 2026
b84f8ef
Update n_queens.cpp
oykukoc Apr 22, 2026
0ada7b6
Merge branch 'main' into 38-no-zero-suppressed-decision-diagram-imple…
oykukoc Apr 26, 2026
a447d22
Update zdd.hpp
oykukoc Apr 26, 2026
9a4ae6c
updated
oykukoc Apr 26, 2026
6bea289
Update basic.cpp
oykukoc Apr 26, 2026
29d362f
nqueen von bdds aber zdd version
oykukoc Apr 28, 2026
76467ca
disj updated
oykukoc Apr 28, 2026
a069d92
updated
oykukoc Apr 29, 2026
831174e
updated
oykukoc Apr 30, 2026
e2ed8ba
Update logic_minimization.cpp
oykukoc May 5, 2026
cdb1e06
updated version of ZDD
oykukoc Jun 12, 2026
6ccf1a6
UPDATED
oykukoc Jun 27, 2026
09928fc
Update basic.cpp
oykukoc Jul 2, 2026
1b4765b
Update basic.cpp
oykukoc Jul 2, 2026
f3f6285
Update basic.cpp
oykukoc Jul 10, 2026
43bd309
Update zdd.hpp
oykukoc Jul 19, 2026
e144f5b
Update zdd.hpp
oykukoc Aug 11, 2026
4a4d3db
Update zdd.hpp
oykukoc Aug 29, 2026
8feb0e9
Update zdd.hpp
oykukoc Sep 9, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading