Skip to content

Issues: Tractables/LogicCircuits.jl

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

13 Open 37 Closed
13 Open 37 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

Plotting circuits is broken
#103 opened Nov 21, 2021 by guyvdbroeck
1
Add back infer_vtree tests
#100 opened Sep 18, 2021 by khosravipasha
Docs and Examples and Tutorial for Bdds
#92 opened Aug 11, 2021 by khosravipasha
Compile BDD to LogicCircuits
#91 opened Aug 11, 2021 by khosravipasha
Add condition operation and forgetting
#78 opened Mar 18, 2021 by khosravipasha
4
Integrate with CUDD.jl enhancement New feature or request
#75 opened Mar 18, 2021 by guyvdbroeck
Tranformations for SDDs (Condition, Forget, Forall, ...)
#73 opened Mar 8, 2021 by khosravipasha
3 tasks
Version 0.3
an actual SAT solver enhancement New feature or request
#71 opened Mar 4, 2021 by guyvdbroeck Version 0.3
Add SententialDecisionDiagrams.jl as an optional dependency enhancement New feature or request low priority low priority
#35 opened Jul 27, 2020 by guyvdbroeck
1
Export to SimpleGraphs enhancement New feature or request good first issue Good for newcomers low priority low priority
#32 opened Jul 24, 2020 by guyvdbroeck
Bug in model_count after conjoin of non-smooth and using Lit(2) bug Something isn't working
#21 opened Jun 17, 2020 by khosravipasha Version 0.3
1
Match the code of prob_equiv_signature with the theory of probabilistic equivalence checking enhancement New feature or request low priority low priority
#9 opened May 23, 2020 by khosravipasha
1
Docs + Examples documentation Improvements or additions to documentation enhancement New feature or request help wanted Extra attention is needed
#5 opened Apr 6, 2020 by khosravipasha
10 of 27 tasks
@khosravipasha
4
ProTip! What’s not been updated in a month: updated:<2024-04-04.