Robbepop/dimacs-parser

Utilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.

语言：Rust · GitHub 星标：8 · Fork：3

话题：dimacs · parser · sat

在 GitHub 上查看原仓库