satellite-format 0.1.0

File format parsing and serialization for Satellite
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

//! # satellite-format
//!
//! File format parsing and serialization for Satellite.
//!
//! Supports:
//! - **Advanced-CNF**: Native JSON format with type information
//! - **DIMACS CNF**: Standard SAT competition format
//! - **Snapshot**: Solver state snapshots for reproducibility

pub mod advanced_cnf;
pub mod dimacs;
pub mod snapshot;
pub mod canonical;
pub mod parser;

pub use advanced_cnf::AdvancedCnf;
pub use dimacs::DimacsCnf;
pub use snapshot::Snapshot;
pub use canonical::CanonicalCnf;
pub use parser::{Tokenizer, Expr, Parser};