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: 10 days 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 4 years ago)
• Default Branch: master
• Last Pushed: 2020-12-07T14:10:28.000Z (almost 4 years ago)
• Last Synced: 2023-03-23T09:32:01.727Z (over 1 year ago)
• Topics: neural-networks, python, smt-solver
• Language: Jupyter Notebook
• Homepage:
• Size: 1.17 MB
• Stars: 6
• 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.