tensorsat

View on PyPIReverse Dependencies (0)

0.0.0 tensorsat-0.0.0-py3-none-any.whl

Wheel Details

Project: tensorsat
Version: 0.0.0
Filename: tensorsat-0.0.0-py3-none-any.whl
Download: [link]
Size: 17319
MD5: aabd8bf723864895bcda7abffb267b20
SHA256: 419615223c5718ea72843acfe83b96cb2c267346d1aec4fedd4e30af7784b820
Uploaded: 2025-02-16 16:27:10 +0000

dist-info

METADATA

Metadata-Version: 2.2
Name: tensorsat
Version: 0.0.0
Summary: A SAT solver based on relational network contraction.
Author: Hashberg
Project-Url: Documentation, https://tensorsat.readthedocs.io
Project-Url: Repository, https://github.com/hashberg-io/tensorsat
Project-Url: Issues, https://github.com/hashberg-io/tensorsat/issues
Classifier: Programming Language :: Python :: 3
Classifier: Operating System :: OS Independent
Classifier: Development Status :: 1 - Planning
Classifier: Programming Language :: Python :: 3.13
Classifier: Natural Language :: English
Classifier: Typing :: Typed
Requires-Python: >=3.13
Requires-Dist: numpy (>=2.2.3)
Requires-Dist: hashcons (>=0.1.0)
Requires-Dist: typing-validation (>=1.2.11)
Description-Content-Type: text/markdown
License-File: LICENSE
[Description omitted; length: 2097 characters]

WHEEL

Wheel-Version: 1.0
Generator: setuptools (75.8.0)
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
tensorsat/__init__.py sha256=62P_fx0ggWxREzjnUH3Xi1o1O887NCJ-TGIXufrSgT8 835
tensorsat/py.typed sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
tensorsat-0.0.0.dist-info/LICENSE sha256=tcgnuIDQGIT8QadyEYqJgiAsvElAgRdW0FfCb0mCe_c 43644
tensorsat-0.0.0.dist-info/METADATA sha256=gkt9weQ88QqXF8rUeljI3Z3hOWLaDHQ5nWD6CdV2Us4 2937
tensorsat-0.0.0.dist-info/WHEEL sha256=In9FTNxeP60KnTkGw7wk6mJPYd_dQSjEZmXdBdMCI-8 91
tensorsat-0.0.0.dist-info/top_level.txt sha256=FV-VsUfNAmh0p52gTcuNrhRUDkuDwB-SibZYQB8msTQ 10
tensorsat-0.0.0.dist-info/RECORD

top_level.txt

tensorsat