https://github.com/wenkokke/sapphire

A library for translating TensorFlow models to z3.
https://github.com/wenkokke/sapphire

neural-networks python smt-solver

Last synced: about 2 months ago
JSON representation

A library for translating TensorFlow models to z3.

• Host: GitHub
• URL: https://github.com/wenkokke/sapphire
• Owner: wenkokke
• License: other
• Created: 2020-02-19T21:46:47.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2020-12-07T14:10:28.000Z (over 4 years ago)
• Last Synced: 2025-04-03T12:02:12.903Z (3 months ago)
• Topics: neural-networks, python, smt-solver
• Language: Jupyter Notebook
• Homepage:
• Size: 1.17 MB
• Stars: 8
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.txt

Awesome Lists containing this project

README

        
# sapphire

A library for translating TensorFlow models to z3.