Lib.rs

›
#model-checking #formal-method

aig

Rust Aig library

by Yuheng Su

8 releases

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 285/week @ 2024-10-19 27/week @ 2024-10-26 5/week @ 2024-11-02 2/week @ 2024-11-16 156/week @ 2024-12-07 161/week @ 2024-12-14 319/week @ 2024-12-21 23/week @ 2024-12-28 8/week @ 2025-01-04 129/week @ 2025-01-11

485 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–12MB
~142K SLoC