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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A fast SAT solver☆154Aug 26, 2021Updated 4 years ago
- gophersat, a SAT solver in Go☆386Jul 7, 2025Updated 8 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
- gRPC-Go experimental branch using Go's native http2 support☆15Jul 31, 2017Updated 8 years ago
- Package kobject provides access to Linux kobject userspace events. MIT Licensed.☆19Mar 4, 2024Updated 2 years ago
- minimal perfect hashing for rust☆13Aug 10, 2020Updated 5 years ago
- Paxos protocol variants framework☆26Mar 12, 2018Updated 8 years ago
- Optimal cache stampede prevention☆16May 11, 2017Updated 8 years ago
- HCL Parser and Printer in Go☆43Nov 15, 2015Updated 10 years ago
- Distributed long running work system in Go☆154Feb 25, 2026Updated last month
- implements invertible bloom filters in golang☆16Feb 3, 2020Updated 6 years ago
- symbolic reachability checker☆23Sep 23, 2021Updated 4 years ago
- ☆23Jul 29, 2016Updated 9 years ago
- Yet Another RPC for Go☆10Jun 21, 2018Updated 7 years ago
- ASAP smoothing☆13Sep 8, 2017Updated 8 years ago
- Lightweight local libraries for containerd☆12Updated this week
- “One if by land, and two if by sea”—Alerting for Graphite☆23Jul 12, 2023Updated 2 years ago
- Go library for generating XOAuth2 strings (for use in XOAUTH2 SASL auth schemes for IMAP/SMTP)☆12Sep 17, 2012Updated 13 years ago
- ☆15Jan 22, 2017Updated 9 years ago
- Careful implementation of Jaro and Jaro-Winkler text difference algorithms☆17Jan 23, 2017Updated 9 years ago
- Go implemetation of cuckoo filters☆27Oct 15, 2021Updated 4 years ago
- ☆393Sep 15, 2017Updated 8 years ago
- Small program to run requests against a web server and look for problems☆11Jan 20, 2016Updated 10 years ago
- A Kafka consumer coordination library for Go.☆33Mar 29, 2018Updated 7 years ago
- An experimental KV store, which implements an LSM on top of Bolt segments.☆32May 26, 2016Updated 9 years ago
- Rewind is a high performance command log layer for LMDB.☆124Oct 24, 2019Updated 6 years ago
- prbot: Pull Request robot☆13Mar 16, 2016Updated 10 years ago
- go on Rumprun☆309Apr 2, 2019Updated 6 years ago
- Golang library for listing and looking up licenses using SPDX IDs.☆23Nov 17, 2018Updated 7 years ago
- A simple library for querying the AST of a Go program☆11Feb 10, 2015Updated 11 years ago
- your dependencies have arrived☆269Oct 15, 2017Updated 8 years ago
- Vgo is a compiler for vector expressions. It generates SSE2 code for amd64.☆34Nov 28, 2017Updated 8 years ago
- Simple SAT Solver written in Go☆20May 29, 2022Updated 3 years ago
- A simple Go library to let you debug your HTTP transactions☆19Dec 31, 2022Updated 3 years ago
- Line breaking in linear time☆31Aug 12, 2018Updated 7 years ago