rational_deduction (cargo): Rust implementation of the rational deduction algorithm.
Keywords: deduction|qdeduction|rational-deduction|rust