Lib.rs

› 关键词 #sat-solver #可满足性 #求解器 #逻辑 #cnf #smt-solver #编码

sat

  1. splr

    基于 Rust 的一种现代 CDCL SAT 求解器

    v0.17.2 #sat-solver #sat #可满足性 #逻辑

  2. rustsat

    旨在提供可满足性解决领域软件开发中常用元素的实现。该库的重点是在不牺牲性能的情况下提供尽可能多的易用性。

    v0.5.1 240 #sat-solver #sat #可满足性 #编码

  3. cnfgen

    从操作生成 DIMACS CNF 公式

    v0.4.0 #cnf #逻辑 #sat

  4. screwsat

    基于冲突驱动的子句学习 SAT 求解器

    v2.1.5 #sat-solver #求解器 #sat #可满足性

  5. rattler_libsolv_rs

    依赖解析的 SAT 求解库

    v0.9.0 160 #conda #包管理 #生态系统 #解析 #rattler #sat #跨平台

  6. cryptominisat

    CryptoMiniSat 布尔可满足性求解器的 Rust 绑定

    v5.8.0 #sat-solver #sat #绑定 #布尔 #可满足性 #查找 #子句

  7. nonogrid

    高效的非网格求解器

    v0.7.3 #solver #sat-solver #sat #非网格 #xml 格式 #搜索

  8. sat_toasty_helper

    更容易编写 SAT 约束

    v0.0.3 #sat-solver #sat #约束 #问题 #谜题 #splr #编写

  9. ipasir

    用于与增量 SAT 求解器通信的 IPASIR API 绑定

    v0.3.1 #sat-solver #求解器 #sat #增量 #ffi #api 绑定

  10. cadical

    CaDiCaL SAT 求解器的 Rust 绑定

    v0.1.14 #sat-solver #sat #求解器 #可满足性 #minisat #逻辑

  11. rustsat-tools

    基于 RustSAT 库构建的工具和示例

    v0.3.1 #sat #可满足性 #rustsat #rust-sat

  12. backtrack

    轻松解决复杂约束

    v0.3.0 #回溯 #SAT求解器 #求解器 #SAT #组合 #搜索

  13. rsmt2

    SMT-LIB 2 兼容的 SAT 求解器的包装器

    v0.16.2 300 #SAT求解器 #求解器 #SAT求解器 #SMT #SMT-LIB #SAT #可满足性

  14. debug_sat

    用于布尔可满足性问题（SAT）的调试自动定理证明器

    v0.4.0 #定理证明器 #SAT #定理 #调试 #自动 #证明

  15. batsat

    用 Rust 实现的可扩展 SAT 求解器

    v0.5.0 130 #SAT求解器 #SAT #minisat #接口 #mini-sat #SAT求解器 #证明

  16. cnf-parser

    适用于 SAT 求解的高效且可定制的 CNF 解析器

    v0.1.1 #cnf #SAT #解析器 #可满足性

  17. ipasir-sys

    包含适用于 IPASIR 兼容 SAT 求解器的 FFI 绑定

    v0.3.0 #SAT求解器 #SAT #增量 #可满足性 #ipasir #ffi

  18. or-tools

    非官方的 Rust 对 C++ 库 Google OR-Tools 的包装，开源软件，用于组合优化

    v0.1.0 #优化 #CSP #线性求解器 #SAT #包装器

  19. satoxid

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

    v0.1.2 #SAT求解器 #SAT #可满足性 #dimacs #用户定义 #调试

  20. cnfgen-nand-opt

    为电路生成 CNF

    v0.1.1 #cnf #SAT #cnfgen #逻辑

  21. bigs

    二部图采样器

    v0.3.0 #图 #SAT #二部 #采样

  22. cat_solver

    Kissat SAT 求解器的 Rust 绑定

    v3.1.1 #SAT求解器 #SAT #求解器 #可满足性 #kissat #逻辑

  23. exec-sat

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

    v0.1.1 #SAT求解器 #SAT #cnf #逻辑

    24. 尝试使用 DuckDuckGo 搜索 搜索.

  24. cnfpack

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

    v0.1.1 #cnf #文件格式 #dimacs #转换文本 #压缩 #SAT #编解码器

  25. pblib-rs

    为 pblib 提供安全的 Rust 绑定

    v0.1.0 #constraints #cardinality #sat #api-bindings #pb #encoding

  26. rsmt2-zz

    SMT-LIB 2 兼容的 SMT 求解器的包装。包含 ZZ 后续修复

    v0.11.1 #solver #smt-solver #smt-lib #smt #sat #satisfiability

  27. kissat

    Kissat SAT 求解器的包装

    v0.1.0 #sat-solver #sat #build

  28. sat_lab

    提供使用 SAT 问题的框架

    v0.1.0 #sat #loader #problem #framework #manipulating

  29. autosat

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

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

  30. satificator

    从图中的 SAT 生成 dimacs 文件

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

  31. or-tools-sys

    非官方的 Rust 对 C++ 库 Google OR-Tools 的包装，开源软件，用于组合优化

    v9.7.0 #optimization #linear-solver #csp #sat #or-tools

  32. dimacs

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

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

  33. z3_ref

    到 Z3 SMT 求解器的高层接口

    v0.1.4 #smt-solver #z3 #smt #sat #high-level #ast

  34. rsat

    SAT 求解器

    v0.1.12 #sat-solver #solver #sat #satisfiability #boolean #math

  35. sat-solver

    使用 2WL 和重启的 CDCL SAT 求解器。此 crate 已停止维护。如果您希望我转让名称，请给我发电子邮件。

    v0.1.1 #solver #restarts #2wl #sat #name #transfer #drop

  36. sat

    用于定义和求解 SAT 问题的接口

    v0.1.0 #problem #instance #sat-solver #interface #solving #variables #exists

  37. acheron

    SAT 求解器

    v0.1.0 #sat-solver #sat #solver

  38. solhop

    SAT 和 MaxSAT 求解器

    v0.1.0 #sat #solver #satisfiability #boolean #max-sat

  39. solhop-types

    为 SolHOP 提供类型

    v0.1.0 #sat #布尔 #可满足性 #sol-hop #max-sat

  40. ratsat

    用Rust重新实现的MiniSat

    v0.0.1 #sat #重新实现 #mini-sat

  41. ratsat-bin

    用Rust重新实现的MiniSat

    v0.0.1 #sat #dimacs #重新实现 #mini-sat