tulip-control dd issues

tulip-control / dd

Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy

https://pypi.org/project/dd

Other

181 stars 39 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

return reordering setting in cudd pick_iter

#42 slivingston closed 5 years ago
1
Plotting BDDs without complemented edges

#41 blacktopol closed 4 years ago
5
Cudd pick_iter reordering

#40 ericskim closed 5 years ago
2
plot nodes that represent external references

#39 rahulguptakota closed 4 years ago
1
Checking queries where variable is True

#38 random-novice closed 6 years ago
3
Showing false values sets as true in diagram

#37 tooHotSpot closed 4 years ago
1
ensure source distribution is independent of optional dependencies

#36 johnyf closed 6 years ago
2
obtain SSL certificates with Python >= 3.6 on macOS

#35 johnyf closed 11 months ago
3
added pruning method

#34 shaesaert closed 4 years ago
2
undeclaring unused variables

#33 shaesaert closed 4 years ago
2
unreachable: ftp://vlsi.colorado.edu/pub/cudd-3.0.0.tar.gz

#32 johnyf closed 6 years ago
0
Reachability Example not working

#31 wadoon closed 7 years ago
2
update to `networkx >= 2.0`

#30 johnyf closed 7 years ago
1
interpretation of BDD graph plot

#29 numshub closed 7 years ago
6
consider renaming `sat_len` to `count`

#28 johnyf closed 7 years ago
0
consider renaming `sat_iter` to `pick_iter`

#27 johnyf closed 7 years ago
0
Add some functions that are used by EdiSyn

#26 bcrwlngs closed 7 years ago
3
consider renaming `add_var` to `declare`

#25 johnyf closed 7 years ago
1
Type Error when using bdd.dump('awesome.pdf')

#24 digitalw closed 7 years ago
4
error when linking to CUDD built by user

#23 RajeshDevarajInd closed 7 years ago
1
consider using LRU cache for BDD methods

#22 johnyf closed 3 years ago
1
dump BDDs from CUDD to JSON

#21 johnyf closed 6 years ago
2
consider removing the argument `bdd` of `cudd` and `autoref` functions

#20 johnyf closed 7 years ago
1
decide what `full` and `care_bits` mean

#19 johnyf closed 7 years ago
1
support mixing of automatic and user-defined level initialization

#18 johnyf closed 7 years ago
1
Vector Compose Algorithm?

#17 doganulus closed 8 years ago
1
bdd._next_free_int throws exception when using CPython implementation

#16 sean-reed closed 8 years ago
4
option to link to existing CUDD lib during installation

#15 johnyf closed 7 years ago
2
dddmp support_vars

#14 stephanietsuei closed 4 years ago
5
consider referencing the manager `cudd.BDD` in `cudd.Function.manager`

#13 johnyf closed 7 years ago
2
merge some of `compose`, `rename`, `cofactor`, `evaluate`

#12 johnyf closed 6 years ago
6
autoref: fix `compose()` call

#11 lummax closed 8 years ago
4
Error with bdd.dump

#10 freb closed 8 years ago
4
invoke reordering dynamically

#9 johnyf closed 7 years ago
0
wrap CUDD v3.0.0

#8 johnyf closed 7 years ago
1
setuptools installs release candidates, unlike pip

#7 johnyf closed 11 months ago
3
Travis fix

#6 maweki closed 9 years ago
1
test with Python 3 on Travis

#5 johnyf closed 9 years ago
3
2 3 compat

#4 maweki closed 9 years ago
4
Installation does not work with python3-based pip

#3 maweki closed 9 years ago
12
Subsumption check "bdd1 \subseteq bdd2"

#2 5nizza closed 9 years ago
2
Correct small misprints in README

#1 slivingston closed 9 years ago
0