Metadata-Version: 2.1
Name: FormalMethodsVLSI
Version: 0.0.4
Summary: VLSI circuits analysis using Formal methods
Home-page: https://github.com/SaiCharanMarrivada/FormalMethodsVLSI
Author: Sai Charan Marrivada
Author-email: saicharanmarrivada0@gmail.com
License: BSD 2-clause
Platform: UNKNOWN
Classifier: Development Status :: 1 - Planning
Classifier: Intended Audience :: Education
Classifier: License :: OSI Approved :: BSD License
Classifier: Operating System :: POSIX :: Linux
Classifier: Programming Language :: Python :: 3.10

UNKNOWN

