Lib.rs

›
#model-checking #formal-method

aig

Rust Aig library

by Yuheng Su

8 releases

new 0.2.6 Jan 12, 2025
0.2.5 Dec 24, 2024
0.2.1 Oct 23, 2024
0.1.0 Mar 21, 2023

#6 in #model-checking

Download history 2/week @ 2024-09-18 3/week @ 2024-09-25 139/week @ 2024-10-16 172/week @ 2024-10-23 4/week @ 2024-10-30 2/week @ 2024-11-06 1/week @ 2024-11-13 1/week @ 2024-11-20 140/week @ 2024-12-04 133/week @ 2024-12-11 314/week @ 2024-12-18 69/week @ 2024-12-25 6/week @ 2025-01-01

531 downloads per month
Used in 4 crates

MIT license

675KB
21K SLoC

C 17K SLoC // 0.1% comments VB6 2K SLoC Rust 1.5K SLoC // 0.0% comments Shell 445 SLoC // 0.1% comments Java 162 SLoC // 0.1% comments

aig-rs

Rust Aig Library

Dependencies

~2–11MB
~141K SLoC