Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/robbepop/dimacs-parser
Utilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.
Last synced: 22 May 2024
