SAT solver written in Go (golang).
☆141Mar 3, 2017Updated 9 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:
- A fast SAT solver☆154Aug 26, 2021Updated 4 years ago
- gophersat, a SAT solver in Go☆385Jul 7, 2025Updated 7 months ago
- A property-based testing library☆37Jun 24, 2017Updated 8 years ago
- Simple generative fuzzer☆17Oct 18, 2021Updated 4 years ago
- [DEPRECATED] Slim is a Go tool that lists only those packages affected by source control changes☆22Apr 12, 2019Updated 6 years ago
- Go library used to flip text☆19Sep 12, 2023Updated 2 years ago
- Probabilistic data structures for processing very large datasets (MinHash, HyperLogLog)☆11Aug 20, 2015Updated 10 years ago
- Optimal cache stampede prevention☆16May 11, 2017Updated 8 years ago
- Go (golang) bindings to the Z3 SMT Solver☆145Jul 16, 2022Updated 3 years ago
- implements invertible bloom filters in golang☆16Feb 3, 2020Updated 6 years ago
- Paxos protocol variants framework☆26Mar 12, 2018Updated 7 years ago
- “One if by land, and two if by sea”—Alerting for Graphite☆23Jul 12, 2023Updated 2 years ago
- Small program to run requests against a web server and look for problems☆11Jan 20, 2016Updated 10 years ago
- prbot: Pull Request robot☆13Mar 16, 2016Updated 9 years ago
- ASAP smoothing☆13Sep 8, 2017Updated 8 years ago
- A simple library for querying the AST of a Go program☆11Feb 10, 2015Updated 11 years ago
- Yet Another RPC for Go☆10Jun 21, 2018Updated 7 years ago
- Holt-Winters forecasting☆20Sep 16, 2016Updated 9 years ago
- HyperLogLog in golang☆26May 22, 2018Updated 7 years ago
- A Go package for sampling and reporting on random keys on a set of redis instances☆20May 29, 2015Updated 10 years ago
- A Kafka consumer coordination library for Go.☆33Mar 29, 2018Updated 7 years ago
- Remove implicit field traversals from Go source☆37Mar 25, 2022Updated 3 years ago
- A counter data structure that knows when to start estimating to save space☆34Oct 9, 2017Updated 8 years ago
- An experimental KV store, which implements an LSM on top of Bolt segments.☆32May 26, 2016Updated 9 years ago
- HCL Parser and Printer in Go☆43Nov 15, 2015Updated 10 years ago
- Golang library for listing and looking up licenses using SPDX IDs.☆23Nov 17, 2018Updated 7 years ago
- ☆393Sep 15, 2017Updated 8 years ago
- Distributed long running work system in Go☆154Updated this week
- ☆23Jul 29, 2016Updated 9 years ago
- Simple SAT Solver written in Go☆20May 29, 2022Updated 3 years ago
- StreamQL is a stream query language☆17Nov 23, 2017Updated 8 years ago
- A modern, performant 9P library for Go.☆208Nov 12, 2019Updated 6 years ago
- ☆14May 19, 2016Updated 9 years ago
- Go static program analyser☆59Apr 18, 2020Updated 5 years ago
- Cuckoo Filter: Practically Better Than Bloom☆13Feb 21, 2023Updated 3 years ago
- minimal perfect hashing for rust☆13Aug 10, 2020Updated 5 years ago
- ☆15Jan 22, 2017Updated 9 years ago
- Utility for repeatedly retrying functions with support from a variety of backoff algorithms☆51Apr 4, 2014Updated 11 years ago
- adaptive replacement cache☆33Aug 1, 2014Updated 11 years ago