Lib.rs

› 硬件支持
#smt #bit-vector #rtl #model-checking #btor

patronus

硬件缺陷查找工具包

由 Kevin Laeufer

3 个版本

新 0.18.2 2024年8月24日
0.18.1 2024年8月14日
0.18.0 2024年8月6日

#634 在 硬件支持

Download history 128/week @ 2024-08-05 155/week @ 2024-08-12

每月283 次下载

BSD-3-Clause

2MB
6.5K SLoC

Patronus

Crates.io Version docs.rs GitHub License

依赖

~3–10MB
~92K SLoC