Lib.rs

› 关键字 #smt-solver #smt #可满足性 #求解器 #FFI #低级 #控制 #更少

#z3

  1. z3

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

    v0.12.1 5.5K #smt-solver #solver #smt #可满足性 #FFI

  2. smtlib

    与SMT求解器交互的高级API

    v0.2.0 600 #smt-solver #low-level #z3 #可满足性 #ergonomics #控制 #更少

  3. smt-lang

    饱和模理论语言

    v0.7.5 310 #smt-solver #smt #求解器 #语言 #z3

  4. falcon-z3

    z3和Falcon的Rust绑定

    v0.5.2 #z3 #绑定 #falcon

  5. z3d

    Z3的Rust DSL接口

    v0.1.0 #z3 #求解器 #smt-solver #smt #可满足性 #API绑定

  6. z3tracer

    Z3跟踪日志的解析器

    v0.11.2 9.9K #z3 #smt #求解器 #日志文件

    7. 尝试使用DuckDuckGo搜索。

  7. liquid-layout

    使用Z3证明器解决UI约束的布局引擎

    v0.1.1 #layout #solve #constraints #z3 #prover #engine #ui

  8. rustproof-libsmt

    RustProof使用的Z3绑定的Rust绑定

    v0.1.0 #solver #smt-solver #z3 #smt #验证 #可满足性

  9. z3_ref

    到Z3 SMT求解器的高级接口

    v0.1.4 #smt-solver #z3 #smt #sat #高级 #ast

  10. rust_smt

    基于SMT-LIB标准的SMT求解器通用的API

    v0.2.0 #smt-solver #smt #z3 #模 #可满足性 #理论 #API绑定