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

#232 in Hardware support

Download history 134/week @ 2024-09-22

3,321 downloads per month

BSD-3-Clause

2MB
6.5K SLoC

Patron

Dependencies

~4–11MB
~106K SLoC