Lib.rs

› 关键词 #sat #logic #parser #sat-solver #command #run-command #dimacs #writer

cnf

  1. cnfgen

    从操作生成 DIMACS CNF 公式

    v0.4.0 #cnf #logic #sat

  2. cnf

    与分发无关的 '命令未找到' 处理程序

    v0.5.1 #command #found #command-line #shell-environment #hook #execute-command #command-not-found

  3. flussab-cnf

    DIMACS CNF 文件格式解析器和写入器

    v0.3.1 #file-format #cnf #parser #writer #dimacs-cnf #streaming-parser #sat-solver

  4. cnf-lib

    与分发无关的 '命令未找到' 处理程序

    v0.5.1 #command #execute-command #environment #cnf #container #provider #host

  5. bool2cnf

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

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

  6. nnf

    否定范式操作库

    v0.1.0 #forms #normal #expression-tree #cnf #conversion #negation #transform

  7. cnf-parser

    高效的、可定制的 CNF 解析器，用于 SAT 求解

    v0.1.1 #cnf #sat #parser #satisfiability

  8. cnfgen-nand-opt

    为电路生成 CNF

    v0.1.1 #cnf #sat #cnfgen #logic

  9. varisat-dimacs

    Varisat SAT 求解器的 DIMCAS CNF 解析器和写入器

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

    10. 尝试使用 DuckDuckGo 进行搜索 搜索.

  10. exec-sat

    执行 SAT 求解器并解析 SAT 求解器输出

    v0.1.1 #sat-solver #sat #cnf #logic

  11. cnfpack

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

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

  12. rusty_grammar

    修改后的 CYK 算法，用于处理语言

    v0.1.2 #language #cnf #nlp #cyk

  13. 逻辑形式

    表示立方体、命题、CNF和DNF

    v0.1.1 #clause #cube #cnf #logic #dnf

  14. autosat

    将函数自动转换为CNF以进行SAT求解

    v0.1.0 #sat #cnf #convert #solving #automatic #function

  15. dotecnf

    用于".ecnf"文件（如".env"）的加载器。".ecnf"是具有层次键的键值设置文件。

    v0.1.1 #setting #cnf #dot-file #config

  16. satire

    用Rust编写的教育SAT求解器

    v0.0.1 #sat-solver #educational #learning #internals #cnf #module #forms