nibli-engine-0.1.0
- nibli-engine 0.1.0
- Docs.rs crate page
- MIT OR Apache-2.0
- 03 August 2026
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- dhilipsiva
- Dependencies
- nibli-kr ^0.1.0 normal
  nibli-protocol ^0.1.0 normal
  nibli-reason ^0.1.0 normal
  nibli-render ^0.1.0 normal
  nibli-semantics ^0.1.0 normal
  nibli-session ^0.1.0 normal
  nibli-store ^0.1.0 normal
  nibli-types ^0.1.0 normal
  postcard ^1 normal
  serde_json ^1 normal
  criterion ^0.5 dev
  redb ^2 dev
  serde_json ^1 dev
- Versions
- 91.18% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

All

nibli_engine0.1.0

Crate Items

Structs
Enums
Functions

List of all items

Structs

EngineComputeRequest
EngineFactSummary
EngineLogicBuffer
EngineWitnessBinding
NibliEngine

Enums

EngineAggregateOp
EngineError
EngineLogicNode
EngineLogicalTerm
EngineQueryResult
EngineResourceKind
EngineUnknownReason

Functions

display_query_result
display_term