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

#645 in Hardware support

Download history 91/week @ 2024-11-29 1027/week @ 2024-12-06 153/week @ 2024-12-13 2/week @ 2024-12-27 25/week @ 2025-01-03 45/week @ 2025-01-10

70 downloads per month

BSD-3-Clause

2MB
6.5K SLoC

Patron

Dependencies

~4–11MB
~103K SLoC