Metadata-Version: 2.4
Name: sytorch
Version: 0.1.8
Summary: A symbolic PyTorch library with solver and verifier backends.
Home-page: https://sytorch.org/
Author: Zhe Tao
Author-email: zhetao@ucdavis.edu
License: Proprietary
Project-URL: Documentation, https://sytorch.org/
Platform: any
Classifier: Development Status :: 4 - Beta
Classifier: Programming Language :: Python
Description-Content-Type: text/x-rst; charset=UTF-8
License-File: LICENSE.txt
Requires-Dist: importlib-metadata; python_version < "3.8"
Requires-Dist: torch>=2.5.0
Requires-Dist: numpy<2.0.0
Requires-Dist: scipy
Requires-Dist: gurobipy>=12.0.0
Requires-Dist: captum
Requires-Dist: rich
Requires-Dist: tabulate
Requires-Dist: requests
Requires-Dist: cryptography
Requires-Dist: py7zr
Provides-Extra: testing-requires
Requires-Dist: setuptools; extra == "testing-requires"
Requires-Dist: pytest; extra == "testing-requires"
Requires-Dist: pytest-cov; extra == "testing-requires"
Dynamic: license-file

.. These are examples of badges you might want to add to your README:
   please update the URLs accordingly

    .. image:: https://api.cirrus-ci.com/github/<USER>/sytorch.svg?branch=main
        :alt: Built Status
        :target: https://cirrus-ci.com/github/<USER>/sytorch
    .. image:: https://readthedocs.org/projects/sytorch/badge/?version=latest
        :alt: ReadTheDocs
        :target: https://sytorch.readthedocs.io/en/stable/
    .. image:: https://img.shields.io/coveralls/github/<USER>/sytorch/main.svg
        :alt: Coveralls
        :target: https://coveralls.io/r/<USER>/sytorch
    .. image:: https://img.shields.io/pypi/v/sytorch.svg
        :alt: PyPI-Server
        :target: https://pypi.org/project/sytorch/
    .. image:: https://img.shields.io/conda/vn/conda-forge/sytorch.svg
        :alt: Conda-Forge
        :target: https://anaconda.org/conda-forge/sytorch
    .. image:: https://pepy.tech/badge/sytorch/month
        :alt: Monthly Downloads
        :target: https://pepy.tech/project/sytorch
    .. image:: https://img.shields.io/twitter/url/http/shields.io.svg?style=social&label=Twitter
        :alt: Twitter
        :target: https://twitter.com/sytorch

|

=======
sytorch
=======


    A symbolic PyTorch library with solver and verifier backends.


A longer description of your project goes here...

