From 44ca036a831d419f95c9b20a811990662404ab4a Mon Sep 17 00:00:00 2001 From: github-actions Date: Tue, 13 Dec 2022 17:15:32 +0000 Subject: [PATCH] 0.10.1 Automatically generated by python-semantic-release --- CHANGELOG.md | 4 ++++ pyproject.toml | 2 +- tensor_theorem_prover/__init__.py | 2 +- 3 files changed, 6 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index ba2d00d..06953ed 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,10 @@ +## v0.10.1 (2022-12-13) +### Fix +* Refactor min similarity tracking for better performance ([`256ca65`](https://github.com/chanind/tensor-theorem-prover/commit/256ca65a8abdfb0e98f5546e350442a5ba98dfa2)) + ## v0.10.0 (2022-12-13) ### 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)) diff --git a/pyproject.toml b/pyproject.toml index f1eb624..3697757 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -1,6 +1,6 @@ [tool.poetry] name = "tensor-theorem-prover" -version = "0.10.0" +version = "0.10.1" description = "Customizable first-order logic theorem prover supporting approximate vector similarity in unification" license = "MIT" readme = "README.md" diff --git a/tensor_theorem_prover/__init__.py b/tensor_theorem_prover/__init__.py index 58ba30c..29c32ec 100644 --- a/tensor_theorem_prover/__init__.py +++ b/tensor_theorem_prover/__init__.py @@ -1,4 +1,4 @@ -__version__ = "0.10.0" +__version__ = "0.10.1" from .prover import ResolutionProver, Proof, ProofStep