Feature * Allow capping number of returned proofs to boost performance ([`dd92a22`](https://github.com/chanind/tensor-theorem-prover/commit/dd92a220c0034f84c696c630c5f3adff96751ada))
0.8.0
Feature * Adding a max_resolvent_width option to speed up solving ([`6adc64e`](https://github.com/chanind/tensor-theorem-prover/commit/6adc64eea9c89e8bbf0b435f1e285af70ed8e41b))
0.7.0
Feature * Adding option to reset the ResolutionProver ([`8649c91`](https://github.com/chanind/tensor-theorem-prover/commit/8649c91e6769828bb14f5ab7fe7d828a9b0637ff))
0.6.2
Fix * Exporting types for SimilarityFunc ([`6432960`](https://github.com/chanind/tensor-theorem-prover/commit/64329605e85c694079304da914bf12be35618250))
0.6.1
Fix * Exporting types for Proof and ProofStep ([`c909c6f`](https://github.com/chanind/tensor-theorem-prover/commit/c909c6f281433c94f76707be34be91909807e243))
0.6.0
Feature * Allow providing extra knowledge when proving ([`f1e53c8`](https://github.com/chanind/tensor-theorem-prover/commit/f1e53c8a4d782f256e640646f3f78c6423bb9857))