monster-rs-0.4.1
- monster-rs 0.4.1
- Docs.rs crate page
- MIT
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- ChristianMoesl
- github:cksystemsgroup:monsters
- Dependencies
- anyhow ~1.0 normal
  boolector ~0.4 normal optional
  boolector-sys ~0 normal optional
  byteorder ~1.4 normal
  bytesize ~1.0 normal
  clap ~2.33 normal
  const_format ~0.2 normal
  divisors ~0.2 normal
  env_logger ~0.8 normal
  itertools ~0.10 normal
  lazy_static ~1.4 normal
  libc ~0 normal
  log ~0.4 normal
  modinverse ~0.1 normal
  petgraph ~0.5 normal
  rand ~0.8 normal
  riscu ~0.5 normal
  strum ~0.21 normal
  thiserror ~1.0 normal
  z3 ~0.10 normal optional
  z3-sys ~0 normal optional
  cargo-husky ^1 dev
  criterion ~0.3 dev
  rayon ~1.5 dev
  tempfile ~3.2 dev
- Versions
- 5.74% of the crate is documented
Platform
Feature flags

docs.rs

Rust

Assignment

monster0.4.1

Assignment

Aliased Type

In monster::solver

monster::solver

Type Alias Assignment

pub type Assignment = HashMap<SymbolId, BitVector>;

Aliased Type§

pub struct Assignment { /* private fields */ }