satoxid-0.1.0
- satoxid 0.1.0
- Docs.rs crate page
- MIT
- Links
- Repository
- crates.io
- Source
- Owners
- neuring
- Dependencies
- cadical ^0.1.13 normal
  serde ^1.0.126 normal
  anyhow ^1.0.40 dev
  derive_more ^0.99.14 dev
  itertools ^0.10.0 dev
  num-integer ^0.1.44 dev
  serde_json ^1.0.64 dev
  structopt ^0.3.21 dev
  strum ^0.20.0 dev
- Versions
- 70.59% of the crate is documented
Go to latest version
Platform
- x86_64-unknown-linux-gnu
Feature flags

Rust

☰

Type Definition CadicalEncoder

Type Definition satoxid::CadicalEncoder[−][src]

type CadicalEncoder<V> = Encoder<V, Solver>;

Expand description

Encoder using the CaDiCal SAT solver.