GitHub repository: the6p4c/aiger
Primary language: Rust
Description: AIGER (And-Inverter graph) file format parser