mitchellh / go-sat
SAT solver written in Go (golang).
☆137Updated 7 years ago
Alternatives and similar repositories for go-sat:
Users that are interested in go-sat are comparing it to the libraries listed below
- Corpus of interesting Go code☆194Updated 7 years ago
- Reduce Go programs☆217Updated 9 months ago
- Profiler injection and analysis tool☆123Updated 8 years ago
- go test but faster (cached)☆249Updated 7 years ago
- Automate the boilerplate of fuzz testing Go interfaces | owner: @willsewell☆109Updated 8 years ago
- licenses lists Go packages dependencies licenses☆183Updated 6 years ago
- expands the Go Call Expression under your cursor to check errors☆143Updated 2 years ago
- Protocol Buffer compiler written in Go☆121Updated 8 years ago
- ☆70Updated 3 years ago
- A deep pretty printer with Go-like notation. It implements the goon specification.☆89Updated 2 years ago
- The missing interface filesystem abstraction for Go☆201Updated 3 years ago
- Run linters from Go code -☆67Updated 6 years ago
- apicompat checks recent changes to a Go project for backwards incompatible changes☆178Updated 7 years ago
- State Machine Assisted Testing☆77Updated 4 years ago
- tool for detecting unused functions and variables in Go source code☆142Updated 5 years ago
- Flag is a simple but powerful command line option parsing library for Go support infinite level subcommand☆131Updated 4 years ago
- Go tool to walk & rewrite AST☆171Updated 5 years ago
- A library of some of the utility functions provided by (but not exported) by cmd/go☆62Updated 6 years ago
- Check that all your Go dependencies are properly vendored☆178Updated 3 years ago
- A tool for rewriting Go import paths☆80Updated 6 years ago
- ☆47Updated 8 years ago
- ☆396Updated 7 years ago
- Go library for convert io.Reader to line-by-line Reader☆89Updated 3 months ago
- Vendor copies go dependencies to ./vendor☆52Updated 8 years ago
- ☆341Updated 7 years ago
- Print version used to build Go executables☆277Updated 6 months ago
- Errors as side notes☆40Updated 7 years ago
- Benchstat computes and compares statistics about benchmarks.☆140Updated 6 years ago
- Tools to process Go trace logs into various profiles. Complement for "go tool trace".☆111Updated 7 years ago