Docs.rs
  • aces-0.0.13
    • aces 0.0.13
    • Permalink
    • Docs.rs crate page
    • MIT
    • Links
    • Repository
    • crates.io
    • Source
    • Owners
    • k7f
    • Dependencies
      • bit-vec ^0.6 normal
      • fern ^0.6 normal
      • lazy_static ^1.4 normal
      • log ^0.4 normal
      • rand ^0.7 normal
      • regex ^1.3 normal
      • string_cache ^0.8 normal
      • varisat ^0.2 normal
      • yaml-rust ^0.4 normal
    • Versions
    • 24.29% of the crate is documented
  • Platform
    • i686-pc-windows-msvc
    • i686-unknown-linux-gnu
    • x86_64-apple-darwin
    • x86_64-pc-windows-msvc
    • x86_64-unknown-linux-gnu
  • Feature flags
  • docs.rs
    • About docs.rs
    • Privacy policy
  • Rust
    • Rust website
    • The Book
    • Standard Library API Reference
    • Rust by Example
    • The Cargo Guide
    • Clippy Documentation

aces0.0.13

Crate Items

  • Structs
  • Enums
  • Traits
  • Type Aliases

List of all items

Structs

  • AcesError
  • CEStructure
  • Context
  • FiringComponent
  • FiringSequence
  • FiringSet
  • ForkID
  • Goal
  • Harc
  • InContext
  • InContextMut
  • InteractiveFormat
  • JoinID
  • Link
  • LinkID
  • Logger
  • Monomials
  • Multiplicity
  • NodeID
  • PartialContent
  • Polynomial
  • Port
  • PortID
  • Runner
  • Solution
  • Solver
  • State
  • YamlFormat
  • sat::Clause
  • sat::Formula
  • sat::Literal
  • sat::Variable

Enums

  • AcesErrorKind
  • Face
  • Semantics
  • StopCondition
  • sat::Encoding
  • sat::Search

Traits

  • Atomic
  • Compilable
  • CompilableAsContent
  • CompilableAsDependency
  • CompilableMut
  • Content
  • ContentFormat
  • Contextual
  • ExclusivelyContextual

Type Aliases

  • AtomID
  • Capacity
  • ContextHandle
  • Fork
  • Join
  • Weight