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

#408 in Math

Download history 6/week @ 2024-07-28 5/week @ 2024-09-22 300/week @ 2024-10-20 13/week @ 2024-10-27

313 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
~39K SLoC