Skip to content
/ flussab Public

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

License

Notifications You must be signed in to change notification settings

jix/flussab

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

36 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Flussab

github crates.io docs.rs

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

  • flussab generic parsing utilities.
  • flussab-cnf for the DIMACS CNF file format and variants.
  • 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 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.

About

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

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages