Bauhaus

What's Changed
* Fix for the tautology bug in nnf. by haz in https://github.com/QuMuLab/bauhaus/pull/107


**Full Changelog**: https://github.com/QuMuLab/bauhaus/compare/1.1.3...1.1.4

What's Changed
* Warn when literals are supplied instead of variables by beckydvn in https://github.com/QuMuLab/bauhaus/pull/106
* Fix for the `groupby` functionality


**Full Changelog**: https://github.com/QuMuLab/bauhaus/compare/1.1.2...1.1.3

Can now call model counting methods, assuming `dsharp` is accessible on the command line.

Should now hopefully deploy to PyPI.

- Added `none_of` constraint
- Flatten certain nested formulae by default
- Prep work for the visualization component

First release of the bauhaus library!

Work on the initial release was done exclusively by [Karishma Daga](https://karishmadaga.ca/) as part of capstone project at Queen's University.