Alternatives and similar repositories for go-sat:

Users that are interested in go-sat are comparing it to the libraries listed below

• mvdan / goreduce
  Reduce Go programs
  ☆216Updated last year
• 3rf / codecoroner
  tool for detecting unused functions and variables in Go source code
  ☆141Updated 5 years ago
• rsc / corpus
  Corpus of interesting Go code
  ☆194Updated 8 years ago
• mschoch / smat
  State Machine Assisted Testing
  ☆77Updated 5 years ago
• go-air / gini
  A fast SAT solver
  ☆148Updated 3 years ago
• lukechampine / ply
  Painless polymorphism
  ☆126Updated 8 years ago
• shurcooL-deprecated / go-goon
  A deep pretty printer with Go-like notation. It implements the goon specification.
  ☆89Updated 2 years ago
• stapelberg / expanderr
  expands the Go Call Expression under your cursor to check errors
  ☆142Updated 2 years ago
• pusher / go-interface-fuzzer
  Automate the boilerplate of fuzz testing Go interfaces | owner: @willsewell
  ☆108Updated 8 years ago
• dsymonds / gotoc
  Protocol Buffer compiler written in Go
  ☆120Updated 8 years ago
• lukechampine / freeze
  An immutability helper for Go
  ☆142Updated 8 years ago
• pmezard / licenses
  licenses lists Go packages dependencies licenses
  ☆182Updated 6 years ago
• unigornel / unigornel
  A library operating system for Go
  ☆187Updated 8 years ago
• badgerodon / goreify
  ☆70Updated 3 years ago
• FiloSottile / vendorcheck
  Check that all your Go dependencies are properly vendored
  ☆177Updated 4 years ago
• mdempsky / codesweep
  ☆47Updated 8 years ago
• constabulary / kang
  Vendoring? Foolish human!
  ☆41Updated 8 years ago
• rsc / gt
  go test but faster (cached)
  ☆247Updated 7 years ago
• msoap / byline
  Go library for convert io.Reader to line-by-line Reader
  ☆91Updated 6 months ago
• ua-nick / fleep-go
  File format determination package for Go
  ☆204Updated 4 years ago
• bradfitz / iter
  Range over integers [0,n). Seriously, that's it.
  ☆297Updated 5 years ago
• src-d / go-billy
  The missing interface filesystem abstraction for Go
  ☆201Updated 3 years ago
• bmizerany / vendor
  Vendor copies go dependencies to ./vendor
  ☆52Updated 8 years ago
• bouk / statictemplate
  Statictemplate is a code generator for Go's text/template and html/template.
  ☆78Updated 6 years ago
• cosiner / flag
  Flag is a simple but powerful command line option parsing library for Go support infinite level subcommand
  ☆131Updated 4 years ago
• geckoboard / prism
  Profiler injection and analysis tool
  ☆123Updated 8 years ago
• rsc / benchstat
  Benchstat computes and compares statistics about benchmarks.
  ☆141Updated 7 years ago
• crillab / gophersat
  gophersat, a SAT solver in Go
  ☆374Updated 9 months ago
• FiloSottile / tracetools
  Tools to process Go trace logs into various profiles. Complement for "go tool trace".
  ☆110Updated 8 years ago
• kisielk / gotool
  A library of some of the utility functions provided by (but not exported) by cmd/go
  ☆62Updated 7 years ago