cfallin/boolean_expression issues and pull requests

#19 - Partial evaluation assuming a complex expression is true

Issue - State: open - Opened by farnoy over 2 years ago - 2 comments

#18 - Consider optimizing variable order to reduce BDD size

Issue - State: open - Opened by Ravenslofty over 3 years ago - 3 comments

#17 - Panic when persisting an empty BDD

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

#16 - From<T> trait breaks dependencies

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

#15 - Implement From<T> for Expr<T>

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

#14 - Add an XOR gate

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

#13 - Add evaluate_with

Pull Request - State: closed - Opened by arlyon over 3 years ago - 1 comment

#12 - Special case implementation of Expr<bool> that reduces to bool.

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

#11 - Switch to GitHub actions

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

#10 - Implement bit operators for Expr

Pull Request - State: closed - Opened by dezajno about 4 years ago - 2 comments

#9 - Remove `Ord` bound on `T`

Pull Request - State: closed - Opened by goto-bus-stop over 4 years ago - 2 comments

#8 - Update crates to current versions

Pull Request - State: closed - Opened by bpfoley over 4 years ago - 3 comments

#7 - Change rand and indoc to dev-dependencies

Pull Request - State: closed - Opened by porglezomp over 4 years ago - 2 comments

#6 - Make testing dependencies dev-dependencies

Issue - State: closed - Opened by porglezomp over 4 years ago

#5 - Some more functions

Pull Request - State: closed - Opened by powerboat9 about 5 years ago - 1 comment

#4 - provide access to restrict function, add sat and implies convenience functions

Pull Request - State: closed - Opened by mtttichy over 6 years ago - 3 comments

#3 - provide access to restrict function, add sat and implies convenience …

Pull Request - State: closed - Opened by mtttichy over 6 years ago

#2 - provide sat_one function which calculates an assignments for the term…

Pull Request - State: closed - Opened by mtttichy over 6 years ago - 1 comment

#1 - add dot output to visualize a BDDFunc as diagram using graphviz, this…

Pull Request - State: closed - Opened by mtttichy over 6 years ago - 5 comments

Ecosyste.ms: Issues

GitHub / cfallin/boolean_expression issues and pull requests