Fix * Bump for deploy ([`65839da`](https://github.com/chanind/tensor-theorem-prover/commit/65839da18e7fedf3c562218aef325d6498ce2755))
0.13.2
Fix * Try creating an empty dist/ during semantic release ([`8e79326`](https://github.com/chanind/tensor-theorem-prover/commit/8e793264b69bc33b8f0f842016983866adb0b6bd))
0.13.1
Fix * Tweak job syntax to run on all tags ([`36089b1`](https://github.com/chanind/tensor-theorem-prover/commit/36089b19361a4e24890e3b074ec10890fccb47fb))
0.13.0
0.12.0
Feature * Adding options to skip finding best proof, and abort early ([`ed23460`](https://github.com/chanind/tensor-theorem-prover/commit/ed23460995043317ccdce13c3bac66eb0b796a43))
0.11.3
Fix * Revert knowledge sort as it seems to hurt performance, and adding more perf tests ([`db51214`](https://github.com/chanind/tensor-theorem-prover/commit/db512140e6e1ab49e3031cb9758f788fdf5db89a))