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;
6mod xor;
7
8pub(super) use monotonic_product::{
9 product_monotonic_unsat_normalized, remove_implied_monotonic_constraints,
10};
11pub(super) use xor::{CheckedXorResult, checked_xor_result};