issues
search
cjdrake
/
pyeda
Python EDA
BSD 2-Clause "Simplified" License
301
stars
55
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bug: ast2expr() throws the TypeError (pyeda 0.28.0)
#140
SergiyKolesnikov
opened
7 years ago
3
Feature Request: Pickle support for ExprNode
#139
SergiyKolesnikov
opened
7 years ago
2
AttributeError: 'XorOp' object has no attribute 'to_cdnf'
#138
ghost
opened
7 years ago
8
Bug in tseitin(): AttributeError: '_Zero' object has no attribute 'xs'
#137
shader
opened
7 years ago
5
Unreliable to_cnf()
#136
shader
closed
7 years ago
10
Adding solver class with add_clause(clause) and solve() methods for picosat interface would be nice
#135
nmz787
closed
7 years ago
3
SAT to solve `restrict` calls
#134
rw
closed
8 years ago
1
Remove variable name restrictions
#133
shader
closed
8 years ago
0
Less restricted variable names
#132
shader
closed
8 years ago
5
Memory leak when printing large funtions
#131
JoBaehr
closed
7 years ago
4
Add support for unicode variable name.
#130
jaepil
closed
8 years ago
1
Change Expression kind encodings
#129
cjdrake
closed
7 years ago
1
added linear-growing cardinality constraints: AtLeastK, AtMostK, ExactlyK
#128
sschnug
closed
7 years ago
5
Request: docs for developers
#127
sschnug
closed
7 years ago
3
Can't Install
#126
ChipJust
closed
9 years ago
3
Another question about espresso_tts
#125
E-Neo
closed
1 year ago
3
something wrong with espresso
#124
E-Neo
closed
9 years ago
1
Feature Request: MUS extraction (through picomus)
#123
sschnug
closed
7 years ago
3
Update 2llm.rst
#122
nadiahpk
closed
9 years ago
1
Incorrect Equal simplification
#121
cjdrake
closed
9 years ago
0
Segmentation fault in _orand_simplify
#120
lorek123
closed
9 years ago
9
Invalid memory access
#119
cjdrake
closed
9 years ago
0
Use of uninitialized value in to_dnf/to_cnf
#118
cjdrake
closed
9 years ago
0
Memory leak in PicoSAT extension
#117
cjdrake
closed
9 years ago
0
Memory leaks in exprnode.c
#116
cjdrake
closed
9 years ago
0
Move third party software to "thirdparty" directory
#115
cjdrake
closed
9 years ago
0
Python C extension memory checks
#114
cjdrake
closed
9 years ago
1
Choose open source license
#113
cjdrake
closed
9 years ago
2
Fix unidiomatic-typecheck lint warnings
#112
cjdrake
closed
9 years ago
0
Algebraic Normal Form
#111
cjdrake
closed
8 years ago
0
Create NHot function
#110
cjdrake
closed
9 years ago
0
Segfault with to_dnf/to_cnf
#109
cjdrake
closed
9 years ago
0
Incorrect description of B^N in boolalg doc
#108
cjdrake
closed
9 years ago
0
PicoSAT interface does not take a seed argument
#107
cjdrake
closed
9 years ago
1
Cannot set PicoSAT options from satisfy_one, satisfy_all methods
#106
cjdrake
closed
9 years ago
1
Reimplement DDs using C/C++
#105
cjdrake
closed
7 years ago
3
Restrict table or/and/xor operations to tables with matching inputs
#104
cjdrake
opened
9 years ago
0
Design Hierarchy
#103
cjdrake
closed
7 years ago
0
Boolean Function Unknown Values
#102
cjdrake
closed
7 years ago
1
Implement ANF and NNF
#101
cjdrake
closed
9 years ago
1
Exception changes
#100
cjdrake
closed
9 years ago
0
Expression Changes
#99
cjdrake
closed
9 years ago
0
Reimplement expression trees in C/C++
#98
cjdrake
closed
9 years ago
1
Implement MVL cube/cover data type in C/C++
#97
cjdrake
closed
7 years ago
0
Enhance farray concatenate/repeat for MDAs
#96
cjdrake
closed
10 years ago
1
fail importing picosat
#95
mllima
closed
10 years ago
5
Get rid of expr `factor=False` arguments
#94
cjdrake
closed
10 years ago
0
Picosat script fails with trivial zero case
#93
cjdrake
closed
10 years ago
0
Fix expression depth definition
#92
cjdrake
closed
10 years ago
0
Change Variable str() from a[1][2][3] to a[1, 2, 3]
#91
cjdrake
closed
10 years ago
0
Previous
Next