PrototypeCommon
mitchellh/go-sat
SAT solver written in Go (golang).
Archived: this repository is read-only
- Owner
- mitchellh (personal account)
- Stars
- Stars: 142
- Forks
- Forks: 8
- Language
- Go
- License
- MIT
- Created
- 2017
- Topics
- golanggosat-solversat
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by mitchellh
All 46 repos by mitchellh- mitchellh/mapstructureStars: 8,010GoStable
- mitchellh/vouchStars: 5,155NushellStable
- mitchellh/goxStars: 4,567GoRC
- mitchellh/libxevStars: 3,602ZigRC
- mitchellh/nixos-configStars: 3,117NixRC
- mitchellh/vagrant-awsStars: 2,583RubyRC
Nearby in Go
All Go repos- ikuaidev/ikuai-cliStars: 142GoPrototype
- surya-koritala/loomfeedStars: 142GoPrototype
- glincker/levelrailStars: 142GoPrototype
- kr/govenStars: 142GoPrototype
- foobaz/lossypngStars: 142GoPrototype
- donovanhide/eventsourceStars: 142GoPrototype