Lib.rs

› 关键词 #sat #cnf #parser #sat-solver #graph #file-format #data-structures

#dimacs

  1. traitgraph-dimacs-io

    提供读取和写入 DIMACS 格式图的函数

    v5.0.0 #graph #dimacs #read-write #abstract #traits #implementation #data-structures

  2. bool2cnf

    直接将布尔表达式转换为 Dimacs

    v0.1.9 #boolean #cnf #expression #dimacs #parser #transfer

  3. satoxid

    用 Rust 编写的布尔可满足性问题编码库

    v0.1.2 #sat-solver #sat #satisfiability #dimacs #user-defined #debugging

  4. varisat-dimacs

    Varisat SAT 求解器的 DIMACS CNF 解析器和编写器

    v0.2.2 19K #sat-solver #cnf #varisat #writer #parser #dimacs #dimcas

    5. 尝试使用 DuckDuckGo 进行搜索。

  5. cnfpack

    在基于文本的 DIMACS CNF 文件格式和压缩的二进制 Cnfpack 格式之间进行转换

    v0.1.1 #cnf #file-format #dimacs #convert-text #compression #sat #codec

  6. satificator

    从图上的 SAT 生成 dimacs 文件

    v0.1.2 #graph #sat #dimacs #file #generate

  7. dimacs

    解析 DIMACS .cnf 或 .sat 格式的文件，这对于参加 DIMACS SAT 求解器竞赛很有用

    v0.2.0 #sat-solver #sat #format #lexer #parser #file-format #input-file

  8. ratsat-bin

    在 Rust 中重新实现的 MiniSat

    v0.0.1 #sat #dimacs #reimplemented #mini-sat