主題 · smt

smt

標記 smt 主題、收錄中的開源專案，依星數排序。

專案數

9

總星數

10,068

平均星數

1,119

佔比

0.00%

常跟 smt 一起出現在同一個專案上的主題。

近期新秀

近 90 天內建立、標記 smt 主題的專案。

近 90 天內還沒有新專案標記這個主題。

#1
FStar ↗@FStarLangF*
面向證明的程式語言
★ 3,099-1近 7 天星數變化
#2
liquidhaskell ↗@ucsd-progsysHaskell
Haskell 的 Liquid Types
★ 1,334+2近 7 天星數變化
#3
py2many ↗@py2manyPython
將 Python 轉換為多種其他語言的原始碼轉譯器
★ 1,308+0近 7 天星數變化
#4
alive2 ↗@AliveToolkitC++
LLVM 優化的自動驗證
★ 1,161+5近 7 天星數變化
#5
jlcparts ↗@yaqwsxPython
為 JLC PCB 打件服務提供更好的零件參數化搜尋
★ 819+1近 7 天星數變化
#6
pysmt ↗@pysmtPython
pySMT：用於 SMT 公式處理與求解的程式庫
★ 638+0近 7 天星數變化
#7
apalache ↗@apalache-mcScala
APALACHE：用於 TLA+ 與 Quint 的符號式模型檢查器
★ 593+1近 7 天星數變化
#8
stp ↗@stpC++
Simple Theorem Prover，一款針對位元向量、浮點數與陣列的高效 SMT 求解器。
★ 588+1近 7 天星數變化
#9
z3.rs ↗@prove-rsRust
Z3 求解器的 Rust 綁定
★ 532+0近 7 天星數變化

← 返回主題列表