搜索结果：smt（2 个）
按分类缩小范围
BillionMail
综合 60
开源邮件服务器与邮件营销平台，完全自托管、开发者友好且免月费。
liquidhaskell
综合 53
LiquidHaskell 是面向 Haskell 的形式化验证工具。它通过引入细化类型（Refinement Types）并结合 Z3 等 SMT 求解器，帮助开发者对代码逻辑进行严格的形式化验证。它可以作为 GHC 插件直接运行，从而在编译期检查程序性质并发现潜在错误。