tensor-theorem-prover

First-order logic theorem prover supporting unification with approximate vector similarity

MIT License

Downloads
1.3K
Stars
7
Committers
2
View Code on GitHub Visit Website
Ecosystems: Rust

Bot releases are visible (Hide)

tensor-theorem-prover - v0.14.0 Latest Release

Published by ttp-deploy-bot over 1 year ago

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)
tensor-theorem-prover - v0.13.8

Published by ttp-deploy-bot over 1 year ago

Fix

  • Improving consistency on identical runs (#5) (5a23ca5)
tensor-theorem-prover - v0.13.7

Published by ttp-deploy-bot over 1 year ago

Fix

  • Trying a different method to skip buiding the release commit (44c2523)
tensor-theorem-prover - v0.13.6

Published by ttp-deploy-bot over 1 year ago

Fix

  • Fixing deploy and stopping infinite run loop (1e63a10)
tensor-theorem-prover - v0.13.5

Published by ttp-deploy-bot over 1 year ago

Fix

  • Trying using the PAT for checkout too to see if the workflow will run... (b84b6c7)
tensor-theorem-prover - v0.13.4

Published by ttp-deploy-bot over 1 year ago

Fix

tensor-theorem-prover - v0.13.3

Published by chanind over 1 year ago

Fix

tensor-theorem-prover - v0.13.2

Published by github-actions[bot] over 1 year ago

Fix

  • Try creating an empty dist/ during semantic release (8e79326)
tensor-theorem-prover - v0.13.1

Published by github-actions[bot] over 1 year ago

Fix

  • Tweak job syntax to run on all tags (36089b1)
tensor-theorem-prover - v0.12.0

Published by github-actions[bot] almost 2 years ago

Feature

  • Adding options to skip finding best proof, and abort early (ed23460)
tensor-theorem-prover - v0.11.3

Published by github-actions[bot] almost 2 years ago

Fix

  • Revert knowledge sort as it seems to hurt performance, and adding more perf tests (db51214)
tensor-theorem-prover - v0.11.2

Published by github-actions[bot] almost 2 years ago

Fix

  • Slighly more consistent proving by sorting knowledge in advance (5bead37)
tensor-theorem-prover - v0.11.1

Published by github-actions[bot] almost 2 years ago

Fix

  • Dedupe knowledge in ResolutionProver (b16c899)
tensor-theorem-prover - v0.11.0

Published by github-actions[bot] almost 2 years ago

Feature

  • Dedupe disjunctions and add option to prune search tree (#2) (b0576b5)
tensor-theorem-prover - v0.10.2

Published by github-actions[bot] almost 2 years ago

Fix

  • More perf improvements around early stopping (948d896)
tensor-theorem-prover - v0.10.1

Published by github-actions[bot] almost 2 years ago

Fix

  • Refactor min similarity tracking for better performance (256ca65)
tensor-theorem-prover - v0.10.0

Published by github-actions[bot] almost 2 years ago

Feature

  • Track proof stats to make performance tweaks easier (#1) (b52192f)
tensor-theorem-prover - v0.9.0

Published by github-actions[bot] almost 2 years ago

Feature

  • Allow capping number of returned proofs to boost performance (dd92a22)
tensor-theorem-prover - v0.8.0

Published by github-actions[bot] almost 2 years ago

Feature

  • Adding a max_resolvent_width option to speed up solving (6adc64e)
tensor-theorem-prover - v0.7.0

Published by github-actions[bot] almost 2 years ago

Feature

  • Adding option to reset the ResolutionProver (8649c91)
Package Rankings
Top 19.86% on Pypi.org
Badges
Extracted from project README
ci Codecov PyPI Documentation Status