Lib.rs

› Science › Math

#logic #model-checking #formal-method

aig

Rust Aig library

Install
API reference
GitHub repo (gipsyh)

1 unstable release

0.1.0	Mar 21, 2023

#1753 in Math

MIT license

36KB
1K SLoC

aig-rs

Rust Aig Library

Dependencies

~46KB

gipsyh-aiger
logic-form

See also: stateright, kani-verifier, biodivine-hctl-model-checker, logic-mesh, predicates, splr, openssl-src, sn_transfers, ra_ap_hir, luajit-src

Lib.rs is an unofficial list of Rust/Cargo crates, created by kornelski. It contains data from multiple sources, including heuristics, and manually curated data. Content of this page is not necessarily endorsed by the authors of the crate. This site is not affiliated with nor endorsed by the Rust Project. If something is missing or incorrect, please file a bug.