Ecosyste.ms: Issues

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

GitHub / microsoft/DecisionDiagrams issues and pull requests

#22 - Export the bdd in dot format

Issue - State: open - Opened by PeterMacGonagan 9 months ago

#21 - How to substitue a variable with TRUE (or FALSE) ?

Issue - State: closed - Opened by PeterMacGonagan 10 months ago

#20 - Dynamic Variable Reordering

Issue - State: open - Opened by mhdsakr about 1 year ago - 2 comments

#19 - BDD PrintMinterm

Issue - State: closed - Opened by mhdsakr about 1 year ago - 2 comments

#18 - Add more documentation for library APIs.

Pull Request - State: closed - Opened by rabeckett over 1 year ago

#17 - Fix garbage collection bug

Pull Request - State: closed - Opened by rabeckett almost 3 years ago

#16 - return minimal sat example for cbdd

Pull Request - State: closed - Opened by rabeckett over 3 years ago

#15 - add benchmark project and n queens implementation

Pull Request - State: closed - Opened by rabeckett over 3 years ago

#11 - add satisfiability and signed integer tests

Pull Request - State: closed - Opened by rabeckett over 3 years ago

#10 - Remove ZDDs

Pull Request - State: closed - Opened by rabeckett over 3 years ago

#9 - expose manager from variable maps and sets

Pull Request - State: closed - Opened by rabeckett over 3 years ago

#8 - Adds a direct ite implementation for CBDDs

Pull Request - State: closed - Opened by rabeckett over 3 years ago

#7 - Adds implementations for quantification and replace for CBDD nodes.

Pull Request - State: closed - Opened by rabeckett over 3 years ago

#6 - fix documentation

Pull Request - State: closed - Opened by rabeckett almost 4 years ago

#5 - fixed an issue where the DD hashcode was tied to the index, which wou…

Pull Request - State: closed - Opened by rabeckett almost 4 years ago

#4 - A few documentation mistakes

Issue - State: closed - Opened by Chizh about 4 years ago - 1 comment

#3 - exposes variable bit size

Pull Request - State: closed - Opened by rabeckett over 4 years ago

#1 - Implements a variable substitution operation

Pull Request - State: closed - Opened by rabeckett almost 5 years ago