Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/robbepop/dimacs-parser
Utilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.
https://github.com/robbepop/dimacs-parser
dimacs parser sat
Last synced: about 1 month ago
JSON representation
Utilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.
- Host: GitHub
- URL: https://github.com/robbepop/dimacs-parser
- Owner: Robbepop
- License: mit
- Created: 2017-02-12T23:18:13.000Z (almost 8 years ago)
- Default Branch: master
- Last Pushed: 2022-11-15T08:59:10.000Z (about 2 years ago)
- Last Synced: 2024-05-22T20:34:01.467Z (7 months ago)
- Topics: dimacs, parser, sat
- Language: Rust
- Size: 88.9 KB
- Stars: 8
- Watchers: 2
- Forks: 3
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
- awesome-rust-formalized-reasoning - DIMACS Parser - utilities to parse files in DIMACS .cnf or .sat file format. (Projects / Libraries)
README
[![Build Status](https://travis-ci.org/Robbepop/dimacs-parser.svg?branch=master)](https://travis-ci.org/Robbepop/dimacs-parser)
[![Build status](https://ci.appveyor.com/api/projects/status/9nl84slw5xw17hd9/branch/master?svg=true)](https://ci.appveyor.com/project/Robbepop/dimacs-parser/branch/master)
[![Coverage Status](https://coveralls.io/repos/github/Robbepop/dimacs-parser/badge.svg)](https://coveralls.io/github/Robbepop/dimacs-parser)
[![Crates.io Version](https://img.shields.io/crates/v/dimacs.svg)](https://crates.io/crates/dimacs)
[![Doc.rs Badge](https://docs.rs/dimacs/badge.svg)](https://docs.rs/dimacs)
[![MIT licensed](https://img.shields.io/badge/license-MIT-blue.svg)](./LICENSE)DIMACS Parser
=============Utilities to parse files in DIMACS `.cnf` or `.sat` SAT format which is useful in participating in the DIMACS SAT solver competition.
Basically provides the following API:
```rust
fn parse_dimacs(input: &str) -> Result { .. }
```