主题 · smt

smt

标记 smt 主题、收录中的开源项目，按星标数排序。

项目数

9

总星标数

10,082

平均星标数

1,120

占比

0.00%

常跟 smt 一起出现在同一个项目上的主题。

近期新秀

近 90 天内创建、标记 smt 主题的项目。

近 90 天内还没有新项目标记这个主题。

#1
FStar ↗@FStarLangF*
面向证明的程序语言
★ 3,103+4近 7 天星标变化
#2
liquidhaskell ↗@ucsd-progsysHaskell
Haskell 的 Liquid Types
★ 1,334+1近 7 天星标变化
#3
py2many ↗@py2manyPython
将 Python 转换为多种其他语言的源码转译器
★ 1,308+0近 7 天星标变化
#4
alive2 ↗@AliveToolkitC++
LLVM 优化的自动验证
★ 1,163+2近 7 天星标变化
#5
jlcparts ↗@yaqwsxPython
为 JLC PCB 贴片服务提供更好的零件参数化搜索
★ 826+8近 7 天星标变化
#6
pysmt ↗@pysmtPython
pySMT：用于 SMT 公式处理与求解的库
★ 638+0近 7 天星标变化
#7
apalache ↗@apalache-mcScala
APALACHE：用于 TLA+ 与 Quint 的符号式模型检查器
★ 596+3近 7 天星标变化
#8
stp ↗@stpC++
Simple Theorem Prover，一款针对位元向量、浮点数与数组的高效 SMT 求解器。
★ 588+1近 7 天星标变化
#9
z3.rs ↗@prove-rsRust
Z3 求解器的 Rust 绑定
★ 533+1近 7 天星标变化

← 返回主题列表