oxiz-math 0.2.2

Mathematical foundations for OxiZ SMT solver
Documentation
//! SIMD-Accelerated Mathematical Operations.
//!
//! Provides vectorized implementations of common mathematical operations
//! using Rust's portable SIMD support.

#[allow(unused_imports)]
use crate::prelude::*;

pub mod matrix_simd;
pub mod polynomial_simd;
pub mod simplex_simd;
pub mod vector_ops;

pub use matrix_simd::{
    simd_determinant, simd_lu_decomposition, simd_lu_solve, simd_matrix_inverse, simd_matrix_mul,
    simd_matrix_vec_mul as matrix_vec_mul_enhanced, simd_qr_decomposition, transpose,
};
pub use polynomial_simd::{
    poly_add_coeffs, poly_dot_product, poly_eval_horner_i64, poly_mul_scalar, poly_sub_coeffs,
    simd_poly_add, simd_poly_eval, simd_poly_mul,
};
pub use simplex_simd::{
    SimplexError, SimplexSolution, SimplexTableau, simd_dual_simplex, simd_simplex_solve,
};
pub use vector_ops::{simd_dot_product, simd_matrix_vec_mul, simd_norm_squared, simd_sum};