BoolStuff is a C library that supports a few operations on boolean expression binary trees.
Add it to your Download Basket!
Add it to your Watch List!
What's new in BoolStuff 0.1.14:
- This release fixes a bug where some expressions containing large negations would fail an assert statement instead of returning the expected null expression.
- It also fixes a bug where some duplicate terms would not be detected because their factors needed to be sorted and simplified themselves to allow that detection.
- In addition, g++ 4.7.2 compilation errors were fixed (re: swap() function).