Crate satellite_format 

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

Re-exports

pub use advanced_cnf::AdvancedCnf;

pub use dimacs::DimacsCnf;

pub use snapshot::Snapshot;

pub use canonical::CanonicalCnf;

pub use parser::Tokenizer;

pub use parser::Expr;

pub use parser::Parser;

Modules

advanced_cnf

Advanced-CNF JSON format.

canonical

dimacs

DIMACS CNF format parser.

parser

snapshot

Solver state snapshots for reproducibility.