proof_engine/solver/mod.rs
1//! Differential Equation Solver Framework — general-purpose ODE/PDE solvers.
2//!
3//! Not just RK4 on Lorenz. A complete framework for solving ordinary and partial
4//! differential equations with automatic step size control, stability analysis,
5//! and conservation law verification.
6
7pub mod ode;
8pub mod pde;
9pub mod spectral;
10pub mod boundary;
11pub mod stability;
12pub mod conservation;
13
14pub use ode::{OdeSolver, OdeMethod, OdeState, OdeSystem};
15pub use pde::{PdeSolver, PdeMethod, ScalarField2D};
16pub use boundary::{BoundaryCondition, BoundaryType};
17pub use stability::StabilityAnalysis;
18pub use conservation::ConservationCheck;