Skip to content

Issues: SSoelvsten/adiar

Build as a Shared Library
#200 opened Dec 18, 2021 by SSoelvsten
Open 1
Thread Safety
#650 opened Apr 15, 2024 by SSoelvsten
Open 2
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

109 Open 204 Closed
109 Open 204 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Use Pastva and Henzinger's Unique Node Table 📁 internal This is where the ✨magic✨happens ✨ optimisation It's all about speed / space 🎓 student project Work, work... but academic!
#697 opened Nov 8, 2024 by SSoelvsten v2.4 : Higher Performance for Small Instances
Use Depth-First Algorithms for Small BDDs 📁 internal This is where the ✨magic✨happens ✨ optimisation It's all about speed / space 🎓 student project Work, work... but academic!
#696 opened Nov 8, 2024 by SSoelvsten v2.4 : Higher Performance for Small Instances
Change temporary directory every 10.000+ active files 🔥 bug Something isn't working ✨ feature New operation or other feature 📁 internal This is where the ✨magic✨happens ✨ optimisation It's all about speed / space
#690 opened Aug 1, 2024 by SSoelvsten
2 tasks
v2.1 : Relational Product
1
RelProd : Frame Rule for Interleaved Ordering 📁 bdd Binary Decision Diagrams ✨ feature New operation or other feature 🎓 student project Work, work... but academic!
#688 opened Jul 29, 2024 by SSoelvsten
3 tasks
v2.1 : Relational Product
Alternatives to TPIE : STD 🎓 student programmer Work, work... 🎓 student project Work, work... but academic!
#679 opened Jun 24, 2024 by SSoelvsten v3.0 : Proprietary Usage
Alternatives to TPIE : Radix Sort and Radix Heap ✨ optimisation It's all about speed / space 🎓 student programmer Work, work... 🎓 student project Work, work... but academic!
#678 opened Jun 24, 2024 by SSoelvsten
5 tasks
v3.0 : Proprietary Usage
Alternatives to TPIE : Two-Level Priority Queue ✨ optimisation It's all about speed / space 🎓 student project Work, work... but academic!
#677 opened Jun 24, 2024 by SSoelvsten v3.0 : Proprietary Usage
Fix code duplication: relnext_quantify_policy ✨ code quality Uncle Bob would be proud 🎓 student programmer Work, work...
#674 opened Jun 14, 2024 by SSoelvsten
Further Optimize Initial Transposition ✨ optimisation It's all about speed / space 🎓 student programmer Work, work... 🎓 student project Work, work... but academic!
#655 opened Apr 19, 2024 by SSoelvsten
11 of 17 tasks
v2.0 : Multi-variable Quantification
Thread Safety ✨ feature New operation or other feature help wanted Extra attention is needed 🎓 student programmer Work, work... 🎓 student project Work, work... but academic!
#650 opened Apr 15, 2024 by SSoelvsten
2 tasks
v3.0 : Thread Safety
2
(Indifferent) Unit and Pure Literals 📁 bdd Binary Decision Diagrams ✨ feature New operation or other feature 🎓 student programmer Work, work...
#631 opened Mar 8, 2024 by SSoelvsten
8 tasks
v1.x : Other Singly-Recursive Features
Add bdd_subset, bdd_subseteq, and bdd_disjoint 📁 bdd Binary Decision Diagrams 🎓 student programmer Work, work...
#616 opened Feb 24, 2024 by SSoelvsten
3 tasks
v1.x : Other Singly-Recursive Features
Add general prod2_unary algorithm ✨ code quality Uncle Bob would be proud 📁 internal This is where the ✨magic✨happens
#614 opened Feb 19, 2024 by SSoelvsten
1 of 4 tasks
v2.3 : Variable Reordering
@SSoelvsten
1
Add make_request<...>(...) functions ✨ code quality Uncle Bob would be proud 🎓 student programmer Work, work...
#613 opened Feb 19, 2024 by SSoelvsten
3 tasks
v2.0 : API Revamp
Add tests to cover minor BDD operations and operator overloads good first issue Good for newcomers 🎓 student programmer Work, work...
#611 opened Feb 13, 2024 by SSoelvsten
10 tasks
v2.0 : API Revamp
Add Pseudo Boolean Constraints (bdd_pbc and zdd_pbc) 📁 bdd Binary Decision Diagrams ✨ feature New operation or other feature 🎓 student programmer Work, work... 🎓 student project Work, work... but academic! 📁 zdd Zero-suppressed Decision Diagrams
#604 opened Jan 8, 2024 by SSoelvsten v1.x : Other Singly-Recursive Features
Add zdd_exists and zdd_forall ✨ feature New operation or other feature 📁 zdd Zero-suppressed Decision Diagrams
#593 opened Dec 5, 2023 by SSoelvsten
2 tasks
v1.1 : Zero-suppressed Decision Diagrams
Add zdd_ite ✨ feature New operation or other feature 📁 zdd Zero-suppressed Decision Diagrams
#592 opened Dec 5, 2023 by SSoelvsten
1 task
v1.1 : Zero-suppressed Decision Diagrams
Split ptr_uint64 in two ✨ code quality Uncle Bob would be proud 📁 internal This is where the ✨magic✨happens
#587 opened Nov 28, 2023 by SSoelvsten
2 tasks
v2.0 : API Revamp
Make adiar::internal its own Module in Documentation 📁 docs
#586 opened Nov 28, 2023 by SSoelvsten
7 tasks
1
Add consumer<int> overload for bdd_satmin and bdd_satmax 📁 bdd Binary Decision Diagrams ✨ feature New operation or other feature good first issue Good for newcomers 🎓 student programmer Work, work...
#585 opened Nov 28, 2023 by SSoelvsten
3 tasks
v2.0 : API Revamp
Add generator overload to internal::file<T> and internal::file_stream<T> ✨ code quality Uncle Bob would be proud 🎓 student programmer Work, work...
#578 opened Nov 17, 2023 by SSoelvsten
5 tasks
v2.0 : API Revamp
bdd_ite : Missing unit tests 📁 bdd Binary Decision Diagrams 🎓 student programmer Work, work... 📁 test Close enough to a proof assistant
#574 opened Nov 14, 2023 by SSoelvsten
4 tasks
v1.0 : Binary Decision Diagrams
Overload API with Simple Generator Alternatives ✨ feature New operation or other feature 🎓 student programmer Work, work... 📁 zdd Zero-suppressed Decision Diagrams
#566 opened Nov 4, 2023 by SSoelvsten
1 of 5 tasks
v2.0 : API Revamp
Extend dd_reorder to Multiple Decision Diagrams ✨ feature New operation or other feature
#561 opened Nov 2, 2023 by SSoelvsten v2.3 : Variable Reordering
@SSoelvsten
ProTip! Type g i on any issue or pull request to go back to the issue listing page.