lrs 0.1.1

Library for resolving (conjunctive) normal-form logical clauses
Documentation 
1
2
3

//! Some integration tests for the lrs crate

extern crate lrs;