Module splr::primitive

Module primitive provides some fundamental data structures.

Re-exports

• pub use self::ema::*;
• pub use self::luby::*;

Modules

• ema
  methods on clause activity
• luby
  methods on binary link, namely binary clause