Metadata-Version: 2.4
Name: verasolve
Version: 0.0.0
Summary: Verified AI reasoning SDK — placeholder reserving the PyPI name. Functional SDK coming soon.
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: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Classifier: Programming Language :: Python :: 3.13
Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
Classifier: Topic :: Scientific/Engineering :: Mathematics
Requires-Python: >=3.9
Description-Content-Type: text/markdown

# verasolve

**Verified AI reasoning SDK.** This v0.0.0 release is a placeholder reserving the PyPI package name.

The functional Verasolve SDK is under active development and has not yet shipped. Installing this placeholder will emit a warning and provide no runtime functionality.

- Project site: https://astraintella.com
- Repository: https://github.com/AstraIntella/verasolve
- Parent company: [AstraIntella](https://astraintella.com) — verified AI reasoning infrastructure

License: Apache 2.0
