# rational_deduction.rs [![Workflow Status](https://img.shields.io/github/workflow/status/qdeduction/rational_deduction.rs/main?label=workflow&style=flat-square)](https://github.com/qdeduction/rational_deduction.rs/actions) [![Latest Version](https://img.shields.io/crates/v/rational_deduction.svg?style=flat-square)](https://crates.io/crates/rational_deduction) _Rust implementation of the rational deduction algorithm_
[![Author](https://img.shields.io/badge/-bhgomes-blue?style=for-the-badge)](https://github.com/bhgomes) [![License](https://img.shields.io/badge/-LICENSE-lightgray?style=for-the-badge)](LICENSE) [![GitHub Repo](https://img.shields.io/badge/-GitHub-black?style=for-the-badge)](https://github.com/qdeduction/rational_deduction.rs)