issues
search
cjdrake
/
boolexpr
Boolean Expressions
Apache License 2.0
20
stars
6
forks
source link
Implement simplification for logical/illogical
#10
Closed
cjdrake
closed
8 years ago
cjdrake
commented
8 years ago
[x] Lattice (OR/AND)
[x] Xor
[x] Equal
[x] Implies
[x] IfThenElse