Lib.rs

›
#model-checking #formal-method

aig

Rust Aig library

by Yuheng Su

10 releases

0.2.9 Feb 9, 2025
0.2.8 Feb 6, 2025
0.2.6 Jan 12, 2025
0.2.5 Dec 24, 2024
0.1.0 Mar 21, 2023

#5 in #model-checking

Download history 13/week @ 2024-10-27 4/week @ 2024-11-03 2/week @ 2024-11-17 97/week @ 2024-12-01 62/week @ 2024-12-08 164/week @ 2024-12-15 325/week @ 2024-12-22 11/week @ 2024-12-29 9/week @ 2025-01-05 143/week @ 2025-01-12 15/week @ 2025-01-19 6/week @ 2025-01-26 166/week @ 2025-02-02 142/week @ 2025-02-09

333 downloads per month
Used in 4 crates

MIT license

660KB
21K SLoC

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

aig-rs

Rust Aig Library

Dependencies

~12–22MB
~385K SLoC