https://github.com/jix/flussab

Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.
https://github.com/jix/flussab

Last synced: about 1 month ago
JSON representation

Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.

• Host: GitHub
• URL: https://github.com/jix/flussab
• Owner: jix
• License: other
• Created: 2021-03-12T12:40:43.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2024-02-12T19:12:47.000Z (5 months ago)
• Last Synced: 2024-05-11T16:44:46.012Z (about 2 months ago)
• Language: Rust
• Homepage:
• Size: 103 KB
• Stars: 8
• Watchers: 4
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Lists

• awesome-rust-formalized-reasoning - Flussab CNF - cnf) - parsing and writing of the DIMACS CNF file format. (Projects / Libraries)

README

        
# Flussab

[![github][github-badge]][github]

[![crates.io][crate-badge]][crate]

[![docs.rs][docs-badge]][docs]

The Flussab repository contains the file format parsing related crates listed below. See their individual readme's for more information:

* [`flussab`](flussab) generic parsing utilities.

* [`flussab-cnf`](flussab-cnf) for the DIMACS CNF file format and variants.

* [`flussab-aiger`](flussab-aiger) (*preview release*) for the AIGER file format (binary and ASCII).

## License

This software is available under the Zero-Clause BSD license, see

[LICENSE](LICENSE) for full licensing information.

### Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted

for inclusion in this software by you shall be licensed as defined in

[LICENSE](LICENSE).

[github]:https://github.com/jix/flussab

[crate]:https://crates.io/crates/flussab

[docs]:https://docs.rs/flussab/*/flussab

[github-badge]: https://img.shields.io/badge/github-jix/flussab-blueviolet?style=flat-square

[crate-badge]: https://img.shields.io/crates/v/flussab?style=flat-square

[docs-badge]: https://img.shields.io/badge/docs.rs-flussab-informational?style=flat-square