lemma-engine-0.8.17
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

lemma-engine 0.8.17

A language that means business.

Crate
Source
Builds
Feature flags

..
alloc.rs
biguint.rs
digit.rs
LICENSE
mod.rs
signed.rs

pub type BigDigit = u32;
pub type DoubleBigDigit = u64;

pub const BITS: u32 = 32;