PrototypeCommon
arminbiere/aiger
AIGER And-Inverter-Graph Library
- Owner
- arminbiere (personal account)
- Stars
- Stars: 107
- Forks
- Forks: 34
- Language
- C
- License
- None
- Created
- 2021
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by arminbiere
All 5 repos by arminbiere- arminbiere/kissatStars: 682CAlpha
- arminbiere/cadicalStars: 629C++Alpha
- arminbiere/satchStars: 127CPrototype
- arminbiere/lingelingStars: 111CPrototype
Nearby in C
All C repos- The-POOM/the_poomStars: 107CPrototype
- xvvulcanvx/PS5-TabShifterStars: 107CPrototype
- SecondaryLifer/StarHavenStars: 107CPrototype
- vy/libpqueueStars: 107CPrototype
- skoneka/screen-sessionStars: 107CPrototype
- rmt/amqptoolsStars: 107CPrototype