Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / tulip-control/dd issues and pull requests

#93 - NeedsReordering exception

Issue - State: closed - Opened by dvcopae 7 months ago - 2 comments

#92 - Fault Tree minimum cut sets using zBDD

Issue - State: closed - Opened by wajdi-b 7 months ago - 8 comments

#91 - --install-option does not work anymore in requirements.txt

Issue - State: closed - Opened by danjujan about 1 year ago - 6 comments

#90 - Update cudd.pyx

Pull Request - State: closed - Opened by SaiCharanMarrivada over 1 year ago - 5 comments

#88 - REL: specify Python version using `Requires-Python`, not Trove classifiers for second numeric component

Issue - State: closed - Opened by johnyf almost 2 years ago - 1 comment
Labels: documentation, api

#87 - Question: Conversion function returning empty DiGraph

Issue - State: closed - Opened by AfiaAly over 2 years ago

#86 - AssertionError when using let

Issue - State: closed - Opened by sdandois over 2 years ago - 2 comments
Labels: bug

#85 - Python 3.10

Issue - State: closed - Opened by mvcisback almost 3 years ago - 2 comments

#84 - `cudd.to_expr` does not produce the correct result after reordering

Issue - State: closed - Opened by avinashvarna almost 3 years ago - 4 comments
Labels: bug

#83 - using dd package properly

Issue - State: closed - Opened by moohtuh about 3 years ago - 1 comment

#82 - Maximum expression length for autoref.BDD.add_expr()

Issue - State: closed - Opened by grgeorgiev about 3 years ago - 2 comments
Labels: bug

#81 - "bdd.let" does not work with substitutions with overlapping variables

Issue - State: closed - Opened by progirep over 3 years ago - 1 comment

#80 - Question: MDD Method that returns the level of a node?

Issue - State: closed - Opened by glarange over 3 years ago - 1 comment

#79 - Support for pure-Python ZDD implementation.

Issue - State: closed - Opened by marcofavorito over 3 years ago - 2 comments

#77 - use memory size prefixes consistently

Issue - State: closed - Opened by johnyf over 3 years ago - 2 comments
Labels: bug, api

#76 - Question: Recursive function for MDDs

Issue - State: closed - Opened by glarange over 3 years ago - 3 comments

#75 - Question: Referencing children node in an MDD

Issue - State: closed - Opened by glarange over 3 years ago - 3 comments

#74 - Quantifying multi-state reliability with MDDs

Issue - State: closed - Opened by glarange over 3 years ago - 1 comment

#73 - Understanding of BDD generated diagram

Issue - State: closed - Opened by SatarupaChak almost 4 years ago - 2 comments
Labels: question

#72 - Example: Reachability Analysis

Issue - State: closed - Opened by s8svtang almost 4 years ago - 2 comments
Labels: bug

#71 - Multi-state reliability with MDDs: problem statement

Issue - State: closed - Opened by glarange almost 4 years ago - 9 comments

#70 - MDD mapping and assertion error

Issue - State: closed - Opened by glarange almost 4 years ago - 6 comments
Labels: question

#69 - More examples with MDDs

Issue - State: closed - Opened by glarange almost 4 years ago - 1 comment
Labels: question

#68 - Attempt Install dd.cudd on Windows

Issue - State: closed - Opened by glarange almost 4 years ago - 3 comments

#67 - Memory management using large dd

Issue - State: closed - Opened by glarange about 4 years ago - 9 comments
Labels: question

#66 - Examples of MDD?

Issue - State: closed - Opened by glarange about 4 years ago - 23 comments
Labels: question

#65 - Publishing Wheels

Issue - State: closed - Opened by mvcisback about 4 years ago - 4 comments
Labels: enhancement, question, documentation

#63 - Could not install tulip-dd for CUDD interface

Issue - State: closed - Opened by SatarupaChak about 4 years ago - 2 comments
Labels: question

#62 - Recursive function implementation

Issue - State: closed - Opened by glarange about 4 years ago - 19 comments
Labels: question

#61 - 'BDD' object has no attribute '_succ'?

Issue - State: closed - Opened by glarange about 4 years ago - 2 comments
Labels: question

#60 - Hi, can you please tell me how can I copy one bdd to another?

Issue - State: closed - Opened by eshitazaman over 4 years ago - 1 comment
Labels: question

#59 - Think there's a typo in master/doc.md#design-principles

Issue - State: closed - Opened by glarange over 4 years ago - 3 comments
Labels: question, documentation

#58 - Understanding difference in count()

Issue - State: closed - Opened by kopeckyf over 4 years ago - 3 comments
Labels: enhancement, api

#57 - Assignment of BDD/ ZDD

Issue - State: closed - Opened by moohtuh over 4 years ago - 11 comments
Labels: question

#56 - Enhancement suggestion: fast BDD algorithm for large coherent fault trees

Issue - State: closed - Opened by glarange over 4 years ago - 1 comment

#55 - implement method `dd.sylvan.BDD.pick_iter`

Issue - State: closed - Opened by glarange over 4 years ago - 2 comments
Labels: enhancement

#54 - Same code works with pure python (dd import autoref as _bdd) but not dd.cudd

Issue - State: closed - Opened by moohtuh over 4 years ago - 3 comments
Labels: question

#53 - Can you recommend a build recipe for the CUDD interface as well?

Issue - State: closed - Opened by glarange over 4 years ago - 3 comments
Labels: question

#52 - Help installing the python Sylvan wrapper

Issue - State: closed - Opened by glarange over 4 years ago - 1 comment
Labels: question

#51 - Method for obtaining the paths from leaves to root

Issue - State: closed - Opened by glarange over 4 years ago - 6 comments
Labels: question

#50 - steps for installing BuDDy and `dd.buddy`

Issue - State: closed - Opened by h3ssto over 4 years ago - 2 comments
Labels: documentation

#49 - the graph function is not equal to the original function

Issue - State: closed - Opened by Clinale over 4 years ago - 3 comments
Labels: documentation

#48 - best links for CUDD ?

Issue - State: closed - Opened by slivingston almost 5 years ago - 3 comments
Labels: documentation

#47 - update URLs johnyf/dd to tulip-control/dd and johnyf/omega to tulip-control/omega

Issue - State: closed - Opened by slivingston about 5 years ago
Labels: documentation

#46 - remove Python 3.4, add Python 3.7 and Python 3.8

Issue - State: closed - Opened by slivingston about 5 years ago - 2 comments

#45 - update URL of Travis CI jobs page; check Coveralls

Issue - State: closed - Opened by slivingston about 5 years ago - 2 comments
Labels: documentation

#44 - Setting memory limits

Issue - State: closed - Opened by rahulguptakota over 5 years ago - 1 comment

#43 - Returning BDDs from function

Issue - State: closed - Opened by MichalKnapik over 5 years ago - 2 comments
Labels: question

#42 - return reordering setting in cudd pick_iter

Pull Request - State: closed - Opened by slivingston almost 6 years ago - 1 comment
Labels: bug

#41 - Plotting BDDs without complemented edges

Issue - State: closed - Opened by blacktopol almost 6 years ago - 5 comments
Labels: question

#40 - Cudd pick_iter reordering

Issue - State: closed - Opened by ericskim about 6 years ago - 2 comments
Labels: bug

#39 - plot nodes that represent external references

Issue - State: closed - Opened by rahulguptakota over 6 years ago - 1 comment
Labels: enhancement, api

#38 - Checking queries where variable is True

Issue - State: closed - Opened by random-novice over 6 years ago - 3 comments
Labels: question

#37 - Showing false values sets as true in diagram

Issue - State: closed - Opened by tooHotSpot over 6 years ago - 1 comment
Labels: question

#36 - ensure source distribution is independent of optional dependencies

Issue - State: closed - Opened by johnyf over 6 years ago - 2 comments
Labels: enhancement

#35 - obtain SSL certificates with Python >= 3.6 on macOS

Issue - State: closed - Opened by johnyf over 6 years ago - 3 comments
Labels: info

#34 - added pruning method

Pull Request - State: closed - Opened by shaesaert over 6 years ago - 2 comments
Labels: enhancement

#33 - undeclaring unused variables

Issue - State: closed - Opened by shaesaert over 6 years ago - 2 comments
Labels: enhancement

#32 - unreachable: ftp://vlsi.colorado.edu/pub/cudd-3.0.0.tar.gz

Issue - State: closed - Opened by johnyf over 6 years ago

#31 - Reachability Example not working

Issue - State: closed - Opened by wadoon about 7 years ago - 2 comments
Labels: bug

#30 - update to `networkx >= 2.0`

Issue - State: closed - Opened by johnyf about 7 years ago - 1 comment
Labels: enhancement

#29 - interpretation of BDD graph plot

Issue - State: closed - Opened by numshub over 7 years ago - 6 comments
Labels: question

#28 - consider renaming `sat_len` to `count`

Issue - State: closed - Opened by johnyf over 7 years ago
Labels: enhancement, api

#27 - consider renaming `sat_iter` to `pick_iter`

Issue - State: closed - Opened by johnyf over 7 years ago
Labels: enhancement, api

#26 - Add some functions that are used by EdiSyn

Pull Request - State: closed - Opened by bcrwlngs over 7 years ago - 3 comments
Labels: enhancement

#25 - consider renaming `add_var` to `declare`

Issue - State: closed - Opened by johnyf almost 8 years ago - 1 comment
Labels: enhancement, api

#24 - Type Error when using bdd.dump('awesome.pdf')

Issue - State: closed - Opened by digitalw almost 8 years ago - 4 comments
Labels: bug

#23 - error when linking to CUDD built by user

Issue - State: closed - Opened by RajeshDevarajInd almost 8 years ago - 1 comment
Labels: question

#22 - consider using LRU cache for BDD methods

Issue - State: closed - Opened by johnyf almost 8 years ago - 1 comment
Labels: enhancement

#21 - dump BDDs from CUDD to JSON

Issue - State: closed - Opened by johnyf almost 8 years ago - 2 comments
Labels: enhancement

#20 - consider removing the argument `bdd` of `cudd` and `autoref` functions

Issue - State: closed - Opened by johnyf almost 8 years ago - 1 comment
Labels: enhancement, api

#19 - decide what `full` and `care_bits` mean

Issue - State: closed - Opened by johnyf almost 8 years ago - 1 comment
Labels: bug, api

#18 - support mixing of automatic and user-defined level initialization

Issue - State: closed - Opened by johnyf almost 8 years ago - 1 comment
Labels: bug

#17 - Vector Compose Algorithm?

Issue - State: closed - Opened by doganulus about 8 years ago - 1 comment
Labels: question

#16 - bdd._next_free_int throws exception when using CPython implementation

Issue - State: closed - Opened by sean-reed over 8 years ago - 4 comments
Labels: bug

#15 - option to link to existing CUDD lib during installation

Issue - State: closed - Opened by johnyf over 8 years ago - 2 comments
Labels: enhancement

#14 - dddmp support_vars

Issue - State: closed - Opened by stephanietsuei over 8 years ago - 5 comments
Labels: bug

#13 - consider referencing the manager `cudd.BDD` in `cudd.Function.manager`

Issue - State: closed - Opened by johnyf over 8 years ago - 2 comments
Labels: enhancement

#12 - merge some of `compose`, `rename`, `cofactor`, `evaluate`

Issue - State: closed - Opened by johnyf over 8 years ago - 6 comments
Labels: enhancement, api

#11 - autoref: fix `compose()` call

Pull Request - State: closed - Opened by lummax over 8 years ago - 4 comments
Labels: bug

#10 - Error with bdd.dump

Issue - State: closed - Opened by freb over 8 years ago - 4 comments
Labels: bug

#9 - invoke reordering dynamically

Issue - State: closed - Opened by johnyf over 8 years ago
Labels: enhancement

#8 - wrap CUDD v3.0.0

Issue - State: closed - Opened by johnyf almost 9 years ago - 1 comment
Labels: enhancement

#7 - setuptools installs release candidates, unlike pip

Issue - State: closed - Opened by johnyf almost 9 years ago - 3 comments
Labels: bug

#6 - Travis fix

Pull Request - State: closed - Opened by maweki about 9 years ago - 1 comment
Labels: testing

#5 - test with Python 3 on Travis

Issue - State: closed - Opened by johnyf about 9 years ago - 3 comments
Labels: enhancement, testing

#4 - 2 3 compat

Pull Request - State: closed - Opened by maweki about 9 years ago - 4 comments
Labels: enhancement

#3 - Installation does not work with python3-based pip

Issue - State: closed - Opened by maweki about 9 years ago - 12 comments
Labels: bug, enhancement

#2 - Subsumption check "bdd1 \subseteq bdd2"

Issue - State: closed - Opened by 5nizza about 9 years ago - 2 comments
Labels: question

#1 - Correct small misprints in README

Pull Request - State: closed - Opened by slivingston over 9 years ago
Labels: documentation