sat-rs-0.0.3
- sat-rs 0.0.3
- Permalink
- Docs.rs crate page
- MIT
- Links
- crates.io
- Source
- Owners
- SauravMaheshkar
- Dependencies
- clap ^4.0 normal
- Versions
- 63.64% of the crate is documented
Platform
Feature flags

Rust

sat_rs0.0.3

Module cnfparser

Functions

In crate sat_rs

Module sat_rs::cnfparser

Expand description

DIMACS CNF Parser

parser for DIMACS CNF files, returns a Formula struct

Functions

parse_cnf
Parses a CNF file and returns a Formula struct