v0.11.3

Fix

• Revert knowledge sort as it seems to hurt performance, and adding more perf tests (db51214)

v0.11.2

Fix

• Slighly more consistent proving by sorting knowledge in advance (5bead37)

v0.11.1

Fix

• Dedupe knowledge in ResolutionProver (b16c899)

v0.11.0

Feature

• Dedupe disjunctions and add option to prune search tree (#2) (b0576b5)

v0.10.2

Fix

• More perf improvements around early stopping (948d896)

v0.10.1

Fix

• Refactor min similarity tracking for better performance (256ca65)

v0.10.0

Feature

• Track proof stats to make performance tweaks easier (#1) (b52192f)

v0.9.0

Feature

• Allow capping number of returned proofs to boost performance (dd92a22)

v0.8.0

Feature

• Adding a max_resolvent_width option to speed up solving (6adc64e)

v0.7.0

Feature

• Adding option to reset the ResolutionProver (8649c91)