rational_deduction 0.0.5

Rust implementation of the rational deduction algorithm.
Documentation