pub use domain::native_solver::NativeSolver;
pub use domain::native_solver::SolveContext;
pub use infrastructure::not_implemented::NotImplementedNativeSolver;
appId