PrototypeCommon
go-air/gini
A fast SAT solver
- Owner
- go-air (organization)
- Stars
- Stars: 157
- Forks
- Forks: 19
- Language
- Go
- License
- MIT
- Created
- 2016
- Topics
- sat-solverconcurrentlogic-programminglogic-circuitresolutionboolean-formulasartificial-intelligenceverificationtestingfuzzing
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Go
All Go repos- MUKE-coder/gritStars: 157GoPrototype
- ygivenx/agenthubStars: 157GoPrototype
- askie/grixStars: 157GoPrototype
- msgpack/msgpack-goStars: 157GoPrototype
- kisom/gocryptoStars: 157GoPrototype
- natefinch/godocgoStars: 157GoPrototype