xlsynth-driver 0.42.0

// SPDX-License-Identifier: Apache-2.0

// Expose the modules needed by the fuzzer and external users.
// Keep this facade minimal to avoid pulling in the whole CLI surface.
pub mod proofs;
pub mod prover;
pub mod prover_config;
pub mod report_cli_error;
pub mod toolchain_config;