1#![cfg_attr(not(feature = "std"), no_std)]
2#![doc(test(attr(forbid(
3 unused_variables,
4 unused_assignments,
5 unused_mut,
6 unused_attributes,
7 dead_code
8))))]
9
10extern crate alloc;
11
12mod solver;
13mod trait_cfg;
14mod utils;
15
16pub use crate::{solver::*, trait_cfg::*, utils::*};