Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / Robbepop/dimacs-parser issues and pull requests

#6 - implemented std::error::Error for ParseError

Pull Request - State: closed - Opened by khoda81 about 2 years ago - 3 comments

#5 - "ParseError" does not implement "std::error::Error"

Issue - State: closed - Opened by khoda81 about 2 years ago - 2 comments

#4 - Added CNF and SAT serialization support

Pull Request - State: closed - Opened by nblei over 3 years ago - 3 comments

#3 - A `std::io::Read`-based parser. Also, ran `cargo format`.

Pull Request - State: closed - Opened by alex-ozdemir about 5 years ago - 6 comments

#2 - Update to latest bitflags release, 2018 edition Rust

Pull Request - State: closed - Opened by dralley over 5 years ago - 3 comments

#1 - A Lit::to_i64 method would be useful

Issue - State: closed - Opened by danielwaterworth almost 6 years ago - 6 comments
Labels: enhancement