Lib.rs

› 关键字 #可满足性 #SMT-LIB #FFI #低级别 #Z3 #验证 #SAT

#smt-solver

  1. z3

    微软研究院Z3 SMT求解器的高级Rust绑定

    v0.12.1 5.1K #smt-solver #求解器 #SMT #可满足性 #FFI

  2. easy-smt

    轻松地以子进程方式与SMT求解器交互

    v0.2.2 260 #smt-solver #SMT #SMT-LIB #子进程

  3. haybale

    使用Rust编写的LLVM IR符号执行

    v0.7.2 #LLVM-IR #LLVM #IR #执行引擎 #SMT #SMT求解器

  4. smtlib

    与SMT求解器交互的高级API

    v0.2.0 600 #smt-solver #低级别 #Z3 #可满足性 #人体工程学 #控制 #少

  5. bitwuzla-sys

    Bitwuzla SMT求解器的低级别绑定

    v0.5.1 #smt-solver #SMT #FFI #低级别 #bitwuzla #版本

  6. tatam

    理论和时间分析机器

    v0.3.11 #smt-solver #SMT #求解器 #BMC #时序逻辑

  7. yices2

    到Yices 2 SMT求解器的Rust绑定

    v0.1.4 #smt-solver #SMT #yices #数学

  8. mikino_api

    归纳和BMC引擎

    v0.9.1 #smt-solver #SMT #验证 #形式化验证 #归纳 #可满足性

  9. boolector

    Boolector SMT求解器的安全高级绑定

    v0.4.3 #smt-solver #绑定 #SMT #FFI

  10. boolector-sys

    Boolector SMT求解器的低级别绑定

    v0.7.2 #smt-solver #SMT #boolector #绑定 #低级别 #cargo-toml #add

  11. smt-lang

    模数理论语言

    v0.7.5 260 #smt-solver #SMT #求解器 #语言 #Z3

  12. mikino

    归纳和BMC引擎

    v0.9.1 #smt-solver #形式化验证 #验证 #SMT #可满足性 #归纳

  13. smt2

    Rust语言的SMT-LIB 2.6解析/格式化库

    v0.2.0 #smt-lib #smt-solver #solver #smt #parser

  14. z3-sys

    来自微软研究院的Z3 SMT求解器的底层绑定

    v0.8.1 5.4K #smt-solver #solver #smt #satisfiability

  15. rsmt2

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

    v0.16.2 300 #smt-solver #solver #sat-solver #smt #smt-lib #sat #satisfiability

  16. monster-rs

    Monster是一个针对64位RISC-U代码的符号执行引擎

    v0.4.1 #monster #smt-solver #execution-engine #risc-v #smt #symbolic-execution #riscu

  17. batsat

    Rust语言的扩展SAT求解器

    v0.5.0 130 #sat-solver #sat #minisat #interface #mini-sat #smt-solver #proof

  18. smtlib-lowlevel

    与SMT求解器交互的底层API

    v0.2.0 #smt-solver #low-level #smt-lib #api #results #command #communicating

  19. rustproof

    从Rust代码生成验证条件的编译器插件

    v0.1.0 #verification #smt-solver #solver #smt #satisfiability #compiler-plugin #plugin

  20. yices2-sys

    对Yices 2 SMT求解器的底层Rust绑定

    v2.6.4 130 #smt-solver #smt #yices

  21. isla-cat

    Isla是一个针对Sail指令集架构规范的符号执行引擎。此crate实现了一个针对herd7用于指定放宽内存模型的cat语言子集的SMT翻译器。

    v0.2.0 #cat #specification #smt-solver #instructions #models #language #set

  22. z3d

    Z3 DSL的Rust接口

    v0.1.0 #z3 #solver #smt-solver #smt #satisfiability #api-bindings

  23. smtlib-build-util

    构建smtlib家族crate的构建工具

    v0.1.8 #smt-lib #family #solver #smt-solver

  24. rsmt2-zz

    用于SMT-LIB 2兼容SMT求解器的包装器。包含ZZ下游修复

    v0.11.1 #求解器 #SMT求解器 #SMT-LIB #SMT # satisfiability（可满足性）

    25. 尝试使用DuckDuckGo搜索。

  25. seer-z3

    微软研究院Z3 SMT求解器的高级Rust绑定

    v0.1.2 #SMT求解器 #求解器 #SMT # satisfiability（可满足性） #ffi

  26. rustproof-libsmt

    Rust绑定，用于RustProof中使用的z3

    v0.1.0 #求解器 #SMT求解器 #z3 #SMT #verification（验证） #satisfiability（可满足性）

  27. z3_ref

    对Z3 SMT求解器的高级接口

    v0.1.4 #SMT求解器 #z3 #SMT # satisfiability（可满足性） #high-level（高级） #ast

  28. rust_smt

    基于SMT-LIB标准的SMT求解器交互的通用求解器无关API

    v0.2.0 #SMT求解器 #SMT #z3 #modulo（模数） #satisfiability（可满足性） #theories（理论） #api-bindings（API绑定）

  29. smt2proxy

    用于拦截和预处理SMT2命令的二进制工具

    v0.2.4 #SMT求解器 #SMT #求解器 #SMT-LIB

  30. smt2patch

    用于修补SMT2文件的二进制工具

    v0.1.1 #SMT #SMT-LIB #求解器 #SMT求解器