xlsynth_prover/lib.rs
1// SPDX-License-Identifier: Apache-2.0
2
3pub mod array_alias_analysis;
4pub mod dslx_assertions;
5pub mod dslx_equiv;
6pub mod dslx_specializer;
7pub mod dslx_tactics;
8pub mod dslx_utils;
9pub mod ir_equiv;
10pub mod ir_operand_gate;
11pub mod ir_utils;
12pub mod prover;
13pub mod solver;
14pub mod toolchain_shim;