Lib.rs

› Hardware support
#model-checking #bit-vector #smt #rtl #btor

libpatron

Hardware bug-finding toolkit

by Kevin Laeufer

50 releases (15 breaking)

0.17.3 May 13, 2024
0.16.0 Jan 6, 2024
0.14.0 Dec 18, 2023
0.1.0 Sep 5, 2023

#557 in Hardware support

Download history 134/week @ 2024-09-23 238/week @ 2024-12-02 1029/week @ 2024-12-09 246/week @ 2024-12-16

1,513 downloads per month

BSD-3-Clause

2MB
6.5K SLoC

Patron

Dependencies

~4–10MB
~105K SLoC