foundry_evm_symbolic/runtime/solver/reasoning/mod.rs
1//! Lightweight reasoning passes over normalized solver constraints.
2
3use super::{normalize::ConstraintContext, *};
4
5mod monotonic_product;
6
7pub(super) use monotonic_product::{
8 product_monotonic_unsat_normalized, remove_implied_monotonic_constraints,
9};
10
11#[cfg(test)]
12pub(crate) use monotonic_product::product_monotonic_unsat;