propaga-core-0.1.0
- propaga-core 0.1.0
- Permalink
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- hocestnonsatis
- Dependencies
- slotmap ^1.0 normal
  thiserror ^2.0 normal
- Versions
- 87.93% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

All

propaga_core0.1.0

Crate Items

Structs
Enums
Traits

List of all items

Structs

Explanation
Nogood
NogoodLiteral
id::PropagatorId
id::PropagatorKey
id::VariableId
id::VariableKey

Enums

BoundKind
ChangeReason
PropagaError
PropagationStatus

Traits

Domain
DomainView
PropagationContext
Propagator