puan-rust 0.1.1

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