From cfd0af122e9db28624a068e8a7da13ddce151901 Mon Sep 17 00:00:00 2001 From: github-actions Date: Fri, 27 Jan 2023 17:15:26 +0000 Subject: [PATCH] 0.13.3 Automatically generated by python-semantic-release --- CHANGELOG.md | 4 ++++ Cargo.toml | 2 +- pyproject.toml | 4 ++-- tensor_theorem_prover/__init__.py | 2 +- 4 files changed, 8 insertions(+), 4 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index f7fa41b..7145f20 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,10 @@ +## v0.13.3 (2023-01-27) +### Fix +* Bump for deploy ([`65839da`](https://github.com/chanind/tensor-theorem-prover/commit/65839da18e7fedf3c562218aef325d6498ce2755)) + ## v0.13.2 (2023-01-27) ### Fix * Try creating an empty dist/ during semantic release ([`8e79326`](https://github.com/chanind/tensor-theorem-prover/commit/8e793264b69bc33b8f0f842016983866adb0b6bd)) diff --git a/Cargo.toml b/Cargo.toml index 0381b70..3072248 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "tensor_theorem_prover" -version = "0.13.2" +version = "0.13.3" edition = "2021" [lib] diff --git a/pyproject.toml b/pyproject.toml index 04b6092..287d03a 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -1,6 +1,6 @@ [tool.poetry] name = "tensor-theorem-prover" -version = "0.13.2" +version = "0.13.3" description = "Customizable first-order logic theorem prover supporting approximate vector similarity in unification" license = "MIT" readme = "README.md" @@ -10,7 +10,7 @@ keywords = ["theorem-proving", "logic", "first-order", "unification", "reasoning [project] name = "tensor-theorem-prover" -version = "0.13.2" +version = "0.13.3" description = "Customizable first-order logic theorem prover supporting approximate vector similarity in unification" license = { text = "MIT" } requires-python = ">=3.8" diff --git a/tensor_theorem_prover/__init__.py b/tensor_theorem_prover/__init__.py index ec93124..41d4541 100644 --- a/tensor_theorem_prover/__init__.py +++ b/tensor_theorem_prover/__init__.py @@ -1,4 +1,4 @@ -__version__ = "0.13.2" +__version__ = "0.13.3" from .prover import ResolutionProver, Proof, ProofStep, ProofStats