puan-rust 0.1.9

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