Crate puanrs

Puan rust

Puan algorithms implemented in Rust.

Modules

linalg

Linalg functions

polyopt

Polyhedron data structures and functions

solver

Simplex solver

Structs

AtLeast

Data structure for representing an at least constraint on form $$ c * v_0 + c * v_1 + … + c * v_n + bias \ge 0 $$ where $c=1$ if sign == Sign::Positive, or, $c=-1$ if sign == Sign::Negative. ids vector property holds what variables are connected to this constraint.

Statement

A Statement is a declaration of an expression (or proposition) connected to a Variable. For instance, “A is true iff x > 3, else false” is a statement. Currently only AtLeast is considered to be an Expression.

Theory

A Theory is a list of statements with a common name (id).

Enums

Sign