quaigh 0.0.4

Logic optimization library
Documentation