Simple SAT Solver written in Go
☆20May 29, 2022Updated 3 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:
- Go (golang) bindings for Picosat, the satisfiability solver☆16Feb 18, 2018Updated 8 years ago
- Interlink Remote Applications☆23Jul 21, 2018Updated 7 years ago
- Golang client for HyperLogLog daemon (hlld)☆21Jan 31, 2016Updated 10 years ago
- A Go library and CLI tool which simplifies calculation of Universal Scalability Law parameters given system measurements.☆30Jan 20, 2022Updated 4 years ago
- Go HTTP handler for serving swagger-ui☆10May 2, 2016Updated 9 years ago
- ASAP smoothing☆13Sep 8, 2017Updated 8 years ago
- Load generator for graphite, Go-based.☆14May 31, 2017Updated 8 years ago
- Golang user signal based package for collecting pprof information☆12Apr 1, 2016Updated 9 years ago
- TMFRAME, pronounced "time frame", is a binary standard for compactly encoding time series data☆27Aug 1, 2018Updated 7 years ago
- Event-sourcing and microservices infrastructure with specs framework for GoLang☆13May 26, 2015Updated 10 years ago
- A go implementation of metrics reporting for Circonus☆12Sep 23, 2025Updated 5 months ago
- File system package that supports cancellation.☆15Nov 20, 2014Updated 11 years ago
- Scratch Interpreter for the CLI!☆16Sep 17, 2020Updated 5 years ago
- Graphing library for quality control in event-driven systems☆13Aug 8, 2016Updated 9 years ago
- one large file contains a billion of small files☆14Mar 7, 2014Updated 11 years ago
- Go library for Chitin data file format and protocol☆10Jan 22, 2016Updated 10 years ago
- tools to modify go programs☆11Nov 5, 2015Updated 10 years ago
- Various Go utility packages.☆37May 3, 2018Updated 7 years ago
- Last-seen sketch implementation in Go☆16Dec 15, 2020Updated 5 years ago
- ☆11Jun 8, 2022Updated 3 years ago
- Collection of Go middleware☆15Feb 11, 2015Updated 11 years ago
- Assembly-optimized Marvin32 hash function☆12Jan 17, 2024Updated 2 years ago
- A zero dependency monitoring application written in go☆17Feb 29, 2016Updated 10 years ago
- Fork of http://godoc.org/code.google.com/p/gopacket☆14Jul 23, 2020Updated 5 years ago
- A reader and writer per https://www.imperialviolet.org/2014/06/27/streamingencryption.html☆14Aug 23, 2020Updated 5 years ago
- github.com/cznic/fileutil has moved to modernc.org/fileutil☆15Nov 22, 2018Updated 7 years ago
- A Yum repo manager for developers☆13Feb 4, 2016Updated 10 years ago
- Source of paper “A critique of the CAP theorem”☆16Dec 14, 2015Updated 10 years ago
- Find the nth largest element of an unsorted slice in Go. Fast and memory efficient implementation of a Selection Algorithm.☆18Sep 4, 2024Updated last year
- implements invertible bloom filters in golang☆16Feb 3, 2020Updated 6 years ago
- Simple expiring cache☆15Mar 14, 2017Updated 8 years ago
- an exhaustive sequence pattern search tool☆57Dec 4, 2025Updated 3 months ago
- Utility for repeatedly retrying functions with support from a variety of backoff algorithms☆51Apr 4, 2014Updated 11 years ago
- MetaSSH connects to and runs commands on thousands of machines in seconds.☆19Nov 1, 2018Updated 7 years ago
- State Machine Assisted Testing☆80Apr 8, 2020Updated 5 years ago
- Morally-correct string and stream interpolation for Go.☆24Apr 23, 2016Updated 9 years ago
- A Go library which determines the dominant colors in an image.☆19Apr 27, 2015Updated 10 years ago
- Chrome Logger middleware for the Traffic web framework (#Go #Golang)☆30Dec 9, 2013Updated 12 years ago
- The best way to write secure and reliable applications. Write nothing; deploy nowhere.☆18Jun 22, 2018Updated 7 years ago