name: smt2proxy
description: Binary tool to intercept and pre-process SMT2 commands
license_spdx: MIT or Apache-2.0
version: 0.2.4
spec_version: 1.0
download_url: https://crates.io/api/v1/crates/smt2proxy/0.2.4/download
news_url: https://libraries.io/cargo/smt2proxy/versions.atom
date: 2021-07-09
about_resource: NONE
libraries_io_url: https://libraries.io/cargo/smt2proxy?number=0.2.4
vcs_tool: git
vcs_repository: https://github.com/facebookarchive/smt2utils
vcs_branch: main
