v0.0.5

What's Changed

• Better benchmarking
• Rework by @rmanhaeve in #20
• extracting klay as a standalone C++ library by @IbrahimElk in #23
• ref: encapsulate classes in klay namespace by @IbrahimElk in #29
• feat: sd-dnnf-checker by @IbrahimElk in #24

New Contributors

• @IbrahimElk made their first contribution in #23

Full Changelog: v0.0.4...v0.0.5

v0.0.4

What's Changed

• Arithmetic circuit to probabilistic circuit conversion.
• Fixed numerical stability issue in gradient for log1mexp.
• Added eps as module attribute.
• Update visual sudoku example.

Full Changelog: v0.0.3...v0.0.4

v0.0.3

What's Changed

• Support for probabilistic circuits, including sampling and conditioning.
• Max/Godel semirings for Jax.
• Fixed propagation bug with unused literals.

Full Changelog: v0.0.2...v0.0.3

v0.0.2

Fixed

Fixed an issue with the output ordering of multi-rooted SDDs.

Full Changelog: v0.0.1...v0.0.2

v0.0.1

Initial version