- Fix correctness bug in
normalize
- Improve performance
- Reduce latency
- Implement PicoSAT backend
- Rename
solve
-->solutions
pretty_table
-->print_table
- Operators
nand
-->not_and
nor
-->not_or
xor
-->exclusive_or
xnor
-->not_exclusive_or
- Fix compatability bounds
- Implement custom operator interface
- Stop currying binary operators