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 (over 7 years ago)
• Default Branch: master
• Last Pushed: 2022-11-15T08:59:10.000Z (over 1 year ago)
• Last Synced: 2024-05-11T15:44:53.469Z (about 2 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

Lists

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

```