Lib.rs

› Operating systems
#bit-vector #model-checking #rtl #smt #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

#150 in Operating systems

Download history 12/week @ 2025-05-06 55/week @ 2025-05-13

3,321 downloads per month

BSD-3-Clause

2MB
6.5K SLoC

Patron

Dependencies

~4–11MB
~112K SLoC