Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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.

Awesome Lists containing this project

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 { .. }
```