Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/falconre/falcon-z3
Rust bindings for Z3
https://github.com/falconre/falcon-z3
Last synced: 1 day 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.