rational_deduction 0.0.1

Rust implementation of the rational deduction algorithm.
Documentation