lrs 0.1.1

Library for resolving (conjunctive) normal-form logical clauses
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

// -*- mode: rust; -*-
//
// This file is part of 

//! This will contain some good documentation about the LRS crate
//!
//! For now I guess enjoy this emoji of a cup 🍵

#[macro_use] mod terms;
pub use terms::*;

#[macro_use] mod clause;
pub use clause::*;

/* Unit tests below */
mod tests;