Lib.rs

› Science › Math
#model-checking #logic #formal-method

aig

Rust Aig library

by Yuheng Su

3 unstable releases

0.2.1 Oct 23, 2024
0.2.0 Oct 21, 2024
0.1.0 Mar 21, 2023

#561 in Math

Download history 6/week @ 2024-07-30 1/week @ 2024-09-17 4/week @ 2024-09-24 113/week @ 2024-10-15 198/week @ 2024-10-22 2/week @ 2024-10-29 4/week @ 2024-11-05

317 downloads per month

MIT license

685KB
21K SLoC

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

aig-rs

Rust Aig Library

Dependencies

~1–2MB
~37K SLoC