btor2i is a faster interpreter for BTOR2 written in rust.
It is available as both a command-line interface and a rust library.
Using cargo; run cargo install --path . and make sure $HOME/.cargo/bin is
on your path.
Run btor2i --help for all of the supported flags.
btor2i can also be used in your rust code which may be advantageous. Add btor2i
to your Cargo.toml with:
[dependencies.btor2i]
version = "0.1.0"
path = "../btor2i"Check out cargo doc --open for exposed functions.
Issues and PRs are welcome. For pull requests, make sure to run the Turnt
test harness with make test and make benchmark. The make test output is in
TAP format and can be prettified with TAP consumers,
like Faucet. There is also .github/workflows/rust.yaml
which will format your code and check that it is conforming with clippy.