lemma-engine-0.6.8
- lemma-engine 0.6.8
- Docs.rs crate page
- Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- benrogmans
- Dependencies
- boolean_expression ^0.4 normal
  chrono ^0.4 normal
  pest ^2.7 normal
  pest_derive ^2.7 normal
  regex ^1.0 normal
  rust_decimal ^1.33 normal
  serde ^1.0 normal
  serde_json ^1.0 normal
  proptest ^1.4 dev
  console_error_panic_hook ^0.1 normal
  wasm-bindgen ^0.2.104 normal
- Versions
- 27.9% of the crate is documented
Go to latest version
Platform
Feature flags

docs.rs

Rust

Module resource_limits

lemma0.6.8

Module resource_limits

Module Items

Structs

In crate lemma

Module resource_limits

Structs§

ResourceLimits: Resource limits to prevent abuse and enable predictable memory usage