https://github.com/falconre/falcon-z3

Rust bindings for Z3
https://github.com/falconre/falcon-z3

Last synced: 3 months ago
JSON representation

Rust bindings for Z3

• Host: GitHub
• URL: https://github.com/falconre/falcon-z3
• Owner: falconre
• Created: 2018-03-19T04:45:39.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2021-08-26T03:02:08.000Z (about 3 years ago)
• Last Synced: 2024-05-22T21:32:07.161Z (6 months ago)
• Language: Rust
• Size: 39.1 KB
• Stars: 5
• Watchers: 7
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - falcon-z3 - z3) - bindings for Z3. (Projects / Libraries)

README

        
# falcon-z3

Rust bindings for z3.

These bindings are currently building against z3 4.7.1.