Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Dimacs Parser

Utilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.
Stars
8
License
mit
Open Issues
0
Most Recent Commit
2 years ago
Programming Language
Rust
Dependent Repos
1
Total Releases
2
Latest Release
March 28, 2017
Repo
Suggest An Alternative To dimacs-parser
Related Searches
Sat Dimacs
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.