Skip to main content

ogma_libs/
lib.rs

1#![cfg_attr(not(feature = "std"), no_std)]
2
3#[cfg(feature = "std")]
4extern crate std as core;
5
6extern crate alloc;
7
8pub mod bdd;
9pub mod clause;
10pub mod matcher;
11pub mod module;
12pub mod vm;