Lib.rs

› 关键字 #smt-solver #solver #可满足性 #正则表达式 #底层 #子进程 #sat

#smt-lib

  1. easy-smt

    作为子进程轻松与smt求解器交互

    v0.2.2 260 #smt-solver #smt #smt-lib #subprocess

  2. smtlib

    与SMT求解器交互的高级API

    v0.2.0 600 #smt-solver #low-level #z3 #可满足性 #ergonomics #control #less

  3. aws-smt-ir

    SMT问题的中间表示

    v0.3.0 #smt #smt-lib #solver #intermediate-representation

  4. aws-smt-strings

    操作SMT-LIB字符串和正则表达式

    v0.3.0 #regex #regular-expressions #string #smt #smt-lib

  5. smt2

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

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

  6. rsmt2

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

    v0.16.2 300 #smt-solver #solver #sat-solver #smt #smt-lib #sat #可满足性

  7. smtlib-lowlevel

    与SMT求解器交互的底层API

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

  8. smtlib-syntax

    反映SMT-LIB 2.6规范大部分语法元素的类型。用于代码生成，而不是解析。

    v0.1.0 #smt-lib #smt #smtlib

  9. smtlib-build-util

    构建smtlib系列crates的构建工具

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

  10. rsmt2-zz

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

    v0.11.1 #solver #smt-solver #smt-lib #smt #sat #可满足性

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

  11. smt2parser

    SMT-LIB-2格式的通用解析器库

    v0.6.1 9.7K #smt #solver #smt-lib

  12. smt2proxy

    拦截并预处理SMT2命令的二进制工具

    v0.2.4 #smt-solver #smt #solver #smt-lib

  13. smt2patch

    修补SMT2文件的二进制工具

    v0.1.1 #smt #smt-lib #solver #smt-solver

  14. aws-smt-ir-derive

    SMT问题的中间表示

    v0.1.2 #smt #smt-lib #solver #intermediate-representation