Google Git
Sign in
android / toolchain / rustc / refs/heads/main / . / vendor / chalk-solve-0.98.0
tree: 94f8ab914fbd89b0a5fed6b574fc5c5dd3df7d46 [path history] [tgz]
  1. src/
  2. .cargo-checksum.json
  3. Cargo.toml
  4. README.md
vendor/chalk-solve-0.98.0/README.md

A library that defines the rules that translates Rust IR to logical predicates.

See Github for up-to-date information.