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
21
22
23
24
25

# satellite-format


File format parsing and serialization for Satellite SAT solver.

## Supported Formats


- **DIMACS CNF** - Standard SAT competition format (`.cnf`, `.dimacs`)
- **Satellite JSON** - Extended format with type information
- **Advanced-CNF** - Internal representation with metadata

## Usage


```rust
use satellite_format::{DimacsParser, SatelliteJson};

// Parse DIMACS file
let problem = DimacsParser::parse_file("problem.cnf")?;

// Export to JSON
let json = SatelliteJson::export(&problem)?;
```

## License


MIT