搜索结果：smt（3 个）
按分类缩小范围
cloudflare_temp_email
综合 70
基于 Cloudflare 的免费临时域名邮箱，支持邮件收发、附件、IMAP、SMTP 及 Telegram Bot。
saw-script
综合 54
saw-script 是基于 Haskell 开发的软件分析工作台（SAW）。它主要解决多语言程序的形式化验证问题，支持对 C、Java、Rust 及 Cryptol 编写的代码进行形式化语义建模与推理。开发者可通过其专用的 SAWScript 脚本语言作为操作接口，结合 Z3 等 SMT 求解器完成代码的形式化验证。
docker-mailserver
综合 44
开箱即用的容器化全栈邮件服务器，支持 SMTP、IMAP、LDAP、反垃圾邮件和防病毒等功能。