AlphaUncommon
crillab/gophersat
gophersat, a SAT solver in Go
- Owner
- crillab (organization)
- Stars
- Stars: 389
- Forks
- Forks: 24
- Language
- Go
- License
- MIT
- Created
- 2017
- Topics
- sat-solverboolean-formulasconstraint-satisfaction-problempseudo-boolean-solverconstraintsartificial-intelligence
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Go
All Go repos- msfidelis/linuxtips-curso-descomplicando-o-system-designStars: 389GoAlpha
- fastclaw-ai/clawhostStars: 389GoAlpha
- saiyam1814/kiacStars: 389GoAlpha
- samuel/go-thriftStars: 389GoAlpha
- glycerine/offheapStars: 389GoAlpha
- Cistern/catenaStars: 389GoAlpha