snark-tool-0.4.0
- snark-tool 0.4.0
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- jkbstrmen
- Dependencies
- bit-vec ^0.6 normal
  cadical ^0.1.13 normal
  num_cpus ^1.13 normal
  petgraph ^0.5.1 normal
  rand ^0.7 normal
  serde ^1.0 normal
  serde_json ^1.0 normal
  serde_yaml ^0.8 normal
  structopt ^0.2.10 normal
  varisat ^0.2.2 normal
  yaml-rust ^0.4.4 normal
- Versions
- 6.83% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Module read

snark_tool0.4.0

Module read

Module Items

Structs
Constants

In snark_tool::procedure::basic_procedures

snark_tool::procedure::basic_procedures

Module read

Structs§

ReadProcedureBuilder
ReadProcedureConfig

Constants§

BA_FORMAT
G6_FORMAT
JSON_FORMAT
S6_FORMAT