gipsyh-aiger
| Crates.io | gipsyh-aiger |
| lib.rs | gipsyh-aiger |
| version | 0.3.0 |
| created_at | 2023-03-21 02:56:38.5996+00 |
| updated_at | 2023-03-21 02:56:38.5996+00 |
| description | AIGER (And-Inverter graph) file format parser |
| homepage | |
| repository | https://github.com/gipsyh/aiger-rust.git |
| max_upload_size | |
| id | 815812 |
| size | 37,607 |
Yuheng Su (gipsyh)
documentation
README
aiger
AIGER (And-Inverter graph) file format parser
Fork from https://github.com/the6p4c/aiger, and add more.