bex
bex copied to clipboard
tangentstorm
A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
https://github.com/plasma-umass/coz https://blog.acolyer.org/2015/10/14/coz-finding-code-that-counts-with-causal-profling/ It ought to be usable with rust. Just need to figure out the rust equivalent of the C++ annotation macros.
Right now, this is configured by the definition of `BDDBase` in rs: pub type BDDBase = BddBase; I want to say this instead: pub type BDDBase = BddBase; ... But...
https://github.com/bheisler/criterion.rs Supposed to be a better test::bench. Doesn't require nightly rust.
Hey! We were [chatting about bex](https://www.reddit.com/r/rust/comments/a7me6n/what_options_do_i_have_to_efficiently_store_and/ec4i0ud/) on reddit the other day. I glimpsed over the docs and code of the base module and took some notes I wanted to share....
Metadata
Owner
Metadata
A rust crate for boolean expressions (expression trees, decision diagrams, etc.)