1.2.0

What's Changed

• Proposition uniqueness enforced by representation by @connoralittle in #109

New Contributors

• @connoralittle made their first contribution in #109

Full Changelog: 1.1.4...1.2.0

1.1.4

What's Changed

• Fix for the tautology bug in nnf. by @haz in #107

Full Changelog: 1.1.3...1.1.4

1.1.3: Some bug fixes

What's Changed

• Warn when literals are supplied instead of variables by @beckydvn in #106
• Fix for the groupby functionality

Full Changelog: 1.1.2...1.1.3

1.1.2: Flattening of theories and some utilities

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

1.1.1: Version bump and token fix

Should now hopefully deploy to PyPI.

1.1.0: New constraint and release option

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

1.0.0

First release of the bauhaus library!

Work on the initial release was done exclusively by Karishma Daga as part of capstone project at Queen's University.