Lib.rs

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

libpatron

Hardware bug-finding toolkit

by Kevin Laeufer

50 releases (15 breaking)

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

#308 in Hardware support

Download history 1/week @ 2024-02-22 6/week @ 2024-02-29 37/week @ 2024-03-07 21/week @ 2024-03-14 113/week @ 2024-03-28 55/week @ 2024-04-04 13/week @ 2024-04-11 6/week @ 2024-04-18 357/week @ 2024-05-09

366 downloads per month

BSD-3-Clause

2MB
6.5K SLoC

Patron

Dependencies

~3–11MB
~97K SLoC