smtkit-0.1.1
Platform
Feature flags

docs.rs

Rust

smtkit 0.1.1

Facade crate for SMT constraint IR + SMT-LIB backends

Crate
Source
Builds
Feature flags

.github
examples
src
.cargo_vcs_info.json
.gitignore
Cargo.lock
Cargo.toml
Cargo.toml.orig
CHANGELOG.md
LICENSE-APACHE
LICENSE-MIT
README.md
SECURITY.md

# Changelog

## 0.1.0

- Initial crates.io release.