mitchellh / go-satLinks
SAT solver written in Go (golang).
☆141Updated 8 years ago
Alternatives and similar repositories for go-sat
Users that are interested in go-sat are comparing it to the libraries listed below
Sorting:
- Reduce Go programs☆216Updated last year
- tool for detecting unused functions and variables in Go source code☆142Updated 6 years ago
- State Machine Assisted Testing☆80Updated 5 years ago
- Painless polymorphism☆127Updated 8 years ago
- Corpus of interesting Go code☆194Updated 9 years ago
- Protocol Buffer compiler written in Go☆120Updated 9 years ago
- Errors as side notes☆42Updated 8 years ago
- Automate the boilerplate of fuzz testing Go interfaces | owner: @willsewell☆108Updated 9 years ago
- ☆47Updated 9 years ago
- identity pure functions in golang source☆26Updated 2 years ago
- Vendoring? Foolish human!☆41Updated 9 years ago
- Go I/O utilities☆53Updated 7 years ago
- Return random values sampled from a discrete distribution☆38Updated 8 years ago
- A deep pretty printer with Go-like notation. It implements the goon specification.☆91Updated 3 years ago
- A library of some of the utility functions provided by (but not exported) by cmd/go☆60Updated 7 years ago
- ☆70Updated 4 years ago
- Time utility with lovely mocking support☆76Updated 3 years ago
- Go library for representing and applying patches to modify existing Go structures☆56Updated 9 years ago
- The missing interface filesystem abstraction for Go☆200Updated 4 years ago
- An immutability helper for Go☆141Updated 9 years ago
- Go library for convert io.Reader to line-by-line Reader☆91Updated 5 months ago
- expands the Go Call Expression under your cursor to check errors☆143Updated 3 years ago
- Vendor copies go dependencies to ./vendor☆52Updated 9 years ago
- An assortment of more specialized math routines for Go☆77Updated last year
- Package generics is the true way to program generically in golang☆193Updated 7 years ago
- A tool for rewriting Go import paths☆80Updated 7 years ago
- licenses lists Go packages dependencies licenses☆182Updated 7 years ago
- General, type-safe, non-allocating set-operations for any sort.Interface☆170Updated 7 years ago
- Templates for Tools (tfortools) is a small Go package designed to make it easier for developers to add template scripting support to thei…☆55Updated 4 years ago
- trace is a wrapper for net/trace that extends it by logging trace/event information to a structured log and providing metrics (counts, er…☆73Updated 4 years ago