Skip to content

Issues: cjdrake/pyeda

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

33 Open 144 Closed
33 Open 144 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

Mismatching espresso output between doc and rerun example
#191 opened Sep 3, 2024 by BetiseDeCamdray
The function isinstance(expr1, NotOp) does not work correctly
#190 opened Jun 16, 2024 by YuriyTigiev
Boolean expression in human readable format
#189 opened Jun 16, 2024 by YuriyTigiev
Segmentation fault with satisfy_one function call on a large boolean expression
#188 opened Jun 10, 2024 by azewiusz
1
Installation Failure on Apple Silicon Machines with latest xcode
#186 opened Apr 5, 2024 by jimcarreer
6
Conjunction of disjoint BDDs
#176 opened Jul 19, 2023 by egolf-cs
Error "maximum recursion depth exceeded while calling a Python object" while creating an expression using string
#175 opened Jun 5, 2023 by akashchavan15
1
Instantiate expression/tt from .pla file
#173 opened Mar 28, 2023 by b0guslaw
%install_ext is deprecated
#168 opened Sep 1, 2022 by edmondium
Netlist optimization
#166 opened Apr 24, 2022 by dingzex
1
Windows Installation issues
#164 opened Nov 14, 2021 by BenjaminMichaelis
3
Possible NP-hard vs NP-complete confusion in the docs
#163 opened Jan 28, 2021 by stephane-2
How to directly manipulate binary decision diagrams?
#162 opened Jan 9, 2021 by RPrudden
Help: satisfy_all on CNF significantly slower than DNF
#161 opened Sep 3, 2020 by Cerebus
Ignore assumed Literals which are not in the expression
#160 opened Jun 25, 2020 by nfbruns
Instantiate BDD/ttable/exp from partial pla
#158 opened Nov 5, 2019 by choltz95
Some simple functions can't be satisfied ?
#157 opened Oct 3, 2019 by vsraptor
Crash with .to_cnf() on large expressions
#156 opened Sep 30, 2019 by addoolit
3
Simplification in Conjunctive Normal Form
#154 opened Jun 5, 2019 by nfbruns
Bug in Expression.satisfy_one with assumptions
#151 opened Mar 20, 2019 by TheKiviest
Is there a easy way to convert hierarchical expression to a single expression?
#150 opened Mar 11, 2019 by danielchen26
Segfault in espresso with large expression
#149 opened Jan 25, 2019 by skyeaaron
1
Is there a way to access terms of an expression?
#148 opened Aug 22, 2018 by Cerebus
2
How To See the Graph?!
#147 opened May 18, 2018 by emomeni
1
Multiple-output Truthtables Feature
#141 opened Dec 20, 2016 by DanseMacabre
2
ProTip! What’s not been updated in a month: updated:<2024-12-19.