polysub/lib.rs
1// Copyright 2025-2026 Cornell University
2// released under MIT license
3// author: Kevin Laeufer <laeufer@cornell.edu>
4
5mod benchmark;
6mod coef;
7mod parser;
8mod poly;
9mod varmap;
10
11pub use benchmark::exec_benchmark;
12pub use coef::{ArrayCoef, Coef, Mod};
13pub use parser::parse_poly;
14pub use poly::{Polynom, Term, VarIndex};