bitwright-0.16.0
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

bitwright 0.16.0

Hash-consed fixed-width bit-vector expressions: exact evaluation, bit-level facts, and verified simplification.

Crate
Source
Builds
Feature flags

..
check
engine
eqsat
expr
facts
fp
invert
lift
mba
prove
rules
smtlib
text
transform
value
error.rs
ext.rs
hash.rs
lib.rs
memory.rs
ops.rs
synth.rs
testutil.rs
translate.rs