# rational_deduction [![Workflow Status](https://img.shields.io/github/workflow/status/qdeduction/rational_deduction/main?label=workflow&style=flat-square)](https://github.com/qdeduction/rational_deduction/actions) [![Latest Version](https://img.shields.io/crates/v/rational_deduction.svg?style=flat-square)](https://crates.io/crates/rational_deduction) [![Documentation](https://img.shields.io/badge/docs-latest-blue?style=flat-square)](https://docs.rs/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)