issues
search
tangentstorm
/
bex
A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
https://docs.rs/bex/
MIT License
30
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
get coz profiler working
#9
tangentstorm
opened
5 years ago
1
Move tagging out of the Base trait
#8
tangentstorm
opened
5 years ago
0
Enable swarming by default.
#7
tangentstorm
closed
5 years ago
0
Allow loading and saving intermediate state for BddSwarm.
#6
tangentstorm
opened
5 years ago
1
rename Base->ASTBase, TBase->Base
#5
tangentstorm
closed
5 years ago
0
try `criterion` crate for benchmarks
#4
tangentstorm
opened
5 years ago
0
make bdd-solve "tests" into actual unit tests
#3
tangentstorm
closed
5 years ago
0
unify interface for ast and bdd bases
#2
tangentstorm
closed
5 years ago
2
A little review
#1
flo-l
opened
5 years ago
4