tensor-theorem-prover - v0.14.0

Feature

• Hopefully fixing semantic release so feat can deploy (de8282c)
• Multithreading (#6) (8370747)

Fix

• Try more things to fix tagging (6e8b931)
• Try using v2 for the checkout action to fix tagging (42f31f9)

- Rust
Published by ttp-deploy-bot about 3 years ago

tensor-theorem-prover - v0.13.8

Fix

• Improving consistency on identical runs (#5) (5a23ca5)

- Rust
Published by ttp-deploy-bot about 3 years ago

tensor-theorem-prover - v0.13.7

Fix

• Trying a different method to skip buiding the release commit (44c2523)

- Rust
Published by ttp-deploy-bot about 3 years ago

tensor-theorem-prover - v0.13.6

Fix

• Fixing deploy and stopping infinite run loop (1e63a10)

- Rust
Published by ttp-deploy-bot about 3 years ago

tensor-theorem-prover - v0.13.5

Fix

• Trying using the PAT for checkout too to see if the workflow will run... (b84b6c7)

- Rust
Published by ttp-deploy-bot about 3 years ago

tensor-theorem-prover - v0.13.4

Fix

• Bump for deploy (22c2582)

- Rust
Published by ttp-deploy-bot about 3 years ago

tensor-theorem-prover - v0.13.3

Fix

• Bump for deploy (65839da)

- Rust
Published by chanind about 3 years ago

tensor-theorem-prover - v0.13.2

Fix

• Try creating an empty dist/ during semantic release (8e79326)

- Rust
Published by github-actions[bot] about 3 years ago

tensor-theorem-prover - v0.13.1

Fix

• Tweak job syntax to run on all tags (36089b1)

- Rust
Published by github-actions[bot] about 3 years ago

tensor-theorem-prover - v0.12.0

Feature

• Adding options to skip finding best proof, and abort early (ed23460)

- Rust
Published by github-actions[bot] about 3 years ago

tensor-theorem-prover - v0.11.3

Fix

• Revert knowledge sort as it seems to hurt performance, and adding more perf tests (db51214)

- Rust
Published by github-actions[bot] about 3 years ago

tensor-theorem-prover - v0.11.2

Fix

• Slighly more consistent proving by sorting knowledge in advance (5bead37)

- Rust
Published by github-actions[bot] about 3 years ago

tensor-theorem-prover - v0.11.1

Fix

• Dedupe knowledge in ResolutionProver (b16c899)

- Rust
Published by github-actions[bot] about 3 years ago

tensor-theorem-prover - v0.11.0

Feature

• Dedupe disjunctions and add option to prune search tree (#2) (b0576b5)

- Rust
Published by github-actions[bot] about 3 years ago

tensor-theorem-prover - v0.10.2

Fix

• More perf improvements around early stopping (948d896)

- Rust
Published by github-actions[bot] about 3 years ago

tensor-theorem-prover - v0.10.1

Fix

• Refactor min similarity tracking for better performance (256ca65)

- Rust
Published by github-actions[bot] about 3 years ago

tensor-theorem-prover - v0.10.0

Feature

• Track proof stats to make performance tweaks easier (#1) (b52192f)

- Rust
Published by github-actions[bot] about 3 years ago

tensor-theorem-prover - v0.9.0

Feature

• Allow capping number of returned proofs to boost performance (dd92a22)

- Rust
Published by github-actions[bot] about 3 years ago

tensor-theorem-prover - v0.8.0

Feature

• Adding a maxresolventwidth option to speed up solving (6adc64e)

- Rust
Published by github-actions[bot] about 3 years ago

tensor-theorem-prover - v0.7.0

Feature

• Adding option to reset the ResolutionProver (8649c91)

- Rust
Published by github-actions[bot] about 3 years ago

tensor-theorem-prover - v0.6.2

Fix

• Exporting types for SimilarityFunc (6432960)

- Rust
Published by github-actions[bot] about 3 years ago

tensor-theorem-prover - v0.6.1

Fix

• Exporting types for Proof and ProofStep (c909c6f)

- Rust
Published by github-actions[bot] about 3 years ago

tensor-theorem-prover - v0.6.0

Feature

• Allow providing extra knowledge when proving (f1e53c8)

- Rust
Published by github-actions[bot] about 3 years ago

tensor-theorem-prover - v0.5.0

Feature

• Adding ResolutionProver.extend_knowledge method to add knowledge to the prover later (d21dd91)

- Rust
Published by github-actions[bot] about 3 years ago

tensor-theorem-prover - v0.4.0

Feature

• Adding similarity cache to speed up similarity calculations (5bd8c13)

- Rust
Published by github-actions[bot] over 3 years ago

tensor-theorem-prover - v0.3.0

Feature

• Adding a 'max_similarity' helper to combine different similarity funcs (b92c35a)

- Rust
Published by github-actions[bot] over 3 years ago

tensor-theorem-prover - v0.2.3

Fix

• Fixing bug when predicates with the same symbol occur in resolve with embeddings (17c138c)

- Rust
Published by github-actions[bot] over 3 years ago

tensor-theorem-prover - v0.2.2

Fix

• Adding py.typed file (c01f016)

- Rust
Published by github-actions[bot] over 3 years ago

tensor-theorem-prover - v0.2.1

Fix

• Adding typing_extensions dep explicitly (58e8340)

- Rust
Published by github-actions[bot] over 3 years ago

tensor-theorem-prover - v0.2.0

Feature

• Enabling auto-publish (6fd5b89)

- Rust
Published by github-actions[bot] over 3 years ago