Skip to content

Commit

Permalink
0.3.0
Browse files Browse the repository at this point in the history
Automatically generated by python-semantic-release
  • Loading branch information
actions-user committed Oct 24, 2022
1 parent b92c35a commit 774de5b
Show file tree
Hide file tree
Showing 3 changed files with 6 additions and 2 deletions.
4 changes: 4 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,10 @@

<!--next-version-placeholder-->

## v0.3.0 (2022-10-24)
### Feature
* Adding a 'max_similarity' helper to combine different similarity funcs ([`b92c35a`](https://github.com/chanind/tensor-theorem-prover/commit/b92c35ae06d707d462010f38e1d59b22f051d145))

## v0.2.3 (2022-10-23)
### Fix
* Fixing bug when predicates with the same symbol occur in resolve with embeddings ([`17c138c`](https://github.com/chanind/tensor-theorem-prover/commit/17c138c64c8beb449b9e42847db343cb4b7d12e1))
Expand Down
2 changes: 1 addition & 1 deletion pyproject.toml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[tool.poetry]
name = "tensor-theorem-prover"
version = "0.2.3"
version = "0.3.0"
description = "Customizable first-order logic theorem prover supporting approximate vector similarity in unification"
license = "MIT"
readme = "README.md"
Expand Down
2 changes: 1 addition & 1 deletion tensor_theorem_prover/__init__.py
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
__version__ = "0.2.3"
__version__ = "0.3.0"

from .prover.ResolutionProver import ResolutionProver

Expand Down

0 comments on commit 774de5b

Please sign in to comment.