PrototypeCommon
arminbiere/lingeling
Lingeling SAT Solver
- Owner
- arminbiere (personal account)
- Stars
- Stars: 111
- Forks
- Forks: 30
- Language
- C
- License
- MIT
- Created
- 2017
- 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/aigerStars: 107CPrototype
Nearby in C
All C repos- OpenRAC/OpenRACStars: 111CPrototype
- TheDoffman/timesplitters-future-perfect-pcStars: 111CPrototype
- bornaradusin/PC5Stars: 111CPrototype
- telmich/gpmStars: 111CPrototype
- stevedekorte/garbagecollectorStars: 111CPrototype
- scotts/streamflowStars: 111CPrototype