satellite_format/lib.rs
1//! # satellite-format
2//!
3//! File format parsing and serialization for Satellite.
4//!
5//! Supports:
6//! - **Advanced-CNF**: Native JSON format with type information
7//! - **DIMACS CNF**: Standard SAT competition format
8//! - **Snapshot**: Solver state snapshots for reproducibility
9
10pub mod advanced_cnf;
11pub mod dimacs;
12pub mod snapshot;
13pub mod canonical;
14pub mod parser;
15
16pub use advanced_cnf::AdvancedCnf;
17pub use dimacs::DimacsCnf;
18pub use snapshot::Snapshot;
19pub use canonical::CanonicalCnf;
20pub use parser::{Tokenizer, Expr, Parser};