pigeons-0.2.2
- pigeons 0.2.2
- Permalink
- Docs.rs crate page
- MIT
- Links
- Repository
- crates.io
- Source
- Owners
- chrjabs
- Dependencies
- itertools ^0.14.0 normal
  rustc-hash ^2.1.1 normal
  serde ^1.0.228 normal optional
  tempfile ^3.23.0 dev
- Versions
- 100% of the crate is documented
Platform
Feature flags

docs.rs

Rust

All

pigeons0.2.2

Crate Items

Structs
Enums
Traits

List of all items

Structs

AbsConstraintId
Axiom
ConstraintId
OperationSequence
Order
Proof
ProofGoal
ProofOnlyVar
Substitution

Enums

Conclusion
Derivation
ObjectiveUpdate
OrderVar
OutputGuarantee
OutputType
ProblemType
ProofGoalId
SubproofElement

Traits

ConstraintLike
ObjectiveLike
OperationLike
VarLike