eqlog-eqlog-0.8.0
Platform
Feature flags

docs.rs

Rust

eqlog-eqlog 0.8.0

Datalog with equality

Crate
Source
Builds
Feature flags

..
eqlog.eqlog
lib.rs

use eqlog_runtime::eqlog_mod;

eqlog_mod!(eqlog);
pub use eqlog::*;