Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/Rust-Proof/libsmt.rs
Rust Bindings to interact with SMTLIB2 compliant solvers
https://github.com/Rust-Proof/libsmt.rs
Last synced: about 2 months ago
JSON representation
Rust Bindings to interact with SMTLIB2 compliant solvers
- Host: GitHub
- URL: https://github.com/Rust-Proof/libsmt.rs
- Owner: Rust-Proof
- License: apache-2.0
- Fork: true (sushant94/libsmt.rs)
- Created: 2016-07-30T20:21:18.000Z (about 8 years ago)
- Default Branch: master
- Last Pushed: 2016-11-01T18:45:54.000Z (almost 8 years ago)
- Last Synced: 2024-05-22T21:32:15.582Z (4 months ago)
- Language: Rust
- Size: 1.7 MB
- Stars: 2
- Watchers: 8
- Forks: 8
- Open Issues: 1
Awesome Lists containing this project
- awesome-rust-formalized-reasoning - rustproof-libsmt - libsmt):zzz: - fork of libsmt.rs. (Projects / Libraries)