Metadata-Version: 2.4
Name: astraintella
Version: 0.0.0
Summary: AstraIntella — verified AI reasoning infrastructure. Placeholder reserving the PyPI name; see verasolve for the SDK.
Project-URL: Homepage, https://astraintella.com
Project-URL: Repository, https://github.com/AstraIntella/verasolve
Project-URL: Issues, https://github.com/AstraIntella/verasolve/issues
Author-email: AstraIntella <admin@astraintella.com>
License-Expression: Apache-2.0
License-File: LICENSE
Keywords: ai,constraint-solving,formal-methods,llm,neurosymbolic,optimization,smt,verification,z3
Classifier: Development Status :: 1 - Planning
Classifier: Intended Audience :: Developers
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python :: 3
Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
Classifier: Topic :: Scientific/Engineering :: Mathematics
Requires-Python: >=3.9
Description-Content-Type: text/markdown

# astraintella

**AstraIntella — verified AI reasoning infrastructure.** This v0.0.0 release is a placeholder reserving the PyPI package name for the AstraIntella company namespace.

There is no SDK under this name. The AstraIntella SDK is published as **[verasolve](https://pypi.org/project/verasolve/)**.

- Project site: https://astraintella.com
- SDK repository: https://github.com/AstraIntella/verasolve

License: Apache 2.0
