puan-rust 0.1.0

Puan Rust package contain tools for defining logic relationships among linear inequalities and reduction algorithms.
Documentation