monster-rs-0.2.0
- monster-rs 0.2.0
- Docs.rs crate page
- MIT
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- ChristianMoesl
- github:cksystemsgroup:monsters
- Dependencies
- anyhow ~1.0.38 normal
  boolector ~0.4.2 normal
  byteorder ~1.4.2 normal
  bytesize ~1.0.1 normal
  clap ^3.0.0-beta.2 normal
  const_format ~0.2.13 normal
  divisors ~0.2.1 normal
  env_logger ~0.8.3 normal
  itertools ~0.10.0 normal
  log ~0.4.14 normal
  modinverse ~0.1.1 normal
  petgraph ~0.5.1 normal
  rand ~0.8.3 normal
  riscu ~0.5.0 normal
  thiserror ~1.0.24 normal
  z3 ~0.9.0 normal
  cargo-husky ^1 dev
  rayon ~1.5.0 dev
  tempfile ~3.1.0 dev
  which ~4.0.2 dev
- Versions
- 0.64% of the crate is documented
Go to latest version
Platform
Feature flags

docs.rs

Rust

☰

Type Definition Assignment

monster::solver

Type Definition monster::solver::Assignment[−][src]

type Assignment = HashMap<SymbolId, BitVector>;