Fix * Slighly more consistent proving by sorting knowledge in advance ([`5bead37`](https://github.com/chanind/tensor-theorem-prover/commit/5bead37f25f68ad18e1f438f554db4e1eaabd018))
0.11.1
Fix * Dedupe knowledge in ResolutionProver ([`b16c899`](https://github.com/chanind/tensor-theorem-prover/commit/b16c89974669b92b24468ad76110d99e3c5e1403))
0.11.0
Feature * Dedupe disjunctions and add option to prune search tree ([2](https://github.com/chanind/tensor-theorem-prover/issues/2)) ([`b0576b5`](https://github.com/chanind/tensor-theorem-prover/commit/b0576b5a229181ec4ef6eddec002b243418b7731))
0.10.2
Fix * More perf improvements around early stopping ([`948d896`](https://github.com/chanind/tensor-theorem-prover/commit/948d896e02d49d66c2330a6097f6f21f006245ed))
0.10.1
Fix * Refactor min similarity tracking for better performance ([`256ca65`](https://github.com/chanind/tensor-theorem-prover/commit/256ca65a8abdfb0e98f5546e350442a5ba98dfa2))
0.10.0
Feature * Track proof stats to make performance tweaks easier ([1](https://github.com/chanind/tensor-theorem-prover/issues/1)) ([`b52192f`](https://github.com/chanind/tensor-theorem-prover/commit/b52192fd6499520c36892918aef1a8f18f2f2072))