History

Version 0.3.1

Fix correctness bug in normalize

Version 0.3.0

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

Version 0.2.0

Version 0.1.0