aiger

Crates.ioaiger
lib.rsaiger
version0.2.0
sourcesrc
created_at2020-08-08 10:13:57.520366
updated_at2020-08-09 10:45:50.662367
descriptionAIGER (And-Inverter graph) file format parser
homepagehttps://github.com/The6P4C/aiger
repositoryhttps://github.com/The6P4C/aiger.git
max_upload_size
id274329
size36,145
the6p4c (the6p4c)

documentation

https://docs.rs/aiger

README

aiger

AIGER (And-Inverter graph) file format parser

Commit count: 4

cargo fmt