oxiz-sat 0.2.0

High-performance CDCL SAT Solver for OxiZ
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

//! SAT Preprocessing Techniques - Advanced Extensions.
//!
//! This module extends the basic preprocessing functionality with:
//! - Advanced variable elimination (BVE with cost analysis)
//! - Gate extraction and recognition
//! - Bounded variable addition

#[allow(unused_imports)]
use crate::prelude::*;

pub mod advanced;
pub mod gate_extraction;
pub mod variable_elimination;

pub use advanced::{AdvancedPreprocessor, Clause, PreprocessingConfig, PreprocessingStats};
pub use gate_extraction::{Circuit, Gate, GateConfig, GateExtractor, GateStats, GateType};
pub use variable_elimination::{
    AsymmetricEliminator, BoundedVariableAddition, EliminationConfig, EliminationStats,
    VariableEliminator,
};