oxiz-sat 0.2.2

High-performance CDCL SAT Solver for OxiZ
Documentation 
1
2
3
4
5
6
7

//! SAT-backed preprocessing tactics that operate on core goals.

mod cube_improve;
mod symmetry;

pub use cube_improve::CubeImproveTactic;
pub use symmetry::SymmetryBreakTactic;