SAT solver written in Go (golang).
☆142Mar 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:
- gophersat, a SAT solver in Go☆388Jul 7, 2025Updated last year
- A fast SAT solver☆157Aug 26, 2021Updated 5 years ago
- Simple generative fuzzer☆17Oct 18, 2021Updated 4 years ago
- A property-based testing library☆37Jun 24, 2017Updated 9 years ago
- [DEPRECATED] Slim is a Go tool that lists only those packages affected by source control changes☆22Apr 12, 2019Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Go library used to flip text☆19Sep 12, 2023Updated 2 years ago
- Go (golang) bindings to the Z3 SMT Solver☆148Jul 16, 2022Updated 4 years ago
- Probabilistic data structures for processing very large datasets (MinHash, HyperLogLog)☆11Aug 20, 2015Updated 11 years ago
- Go implemetation of cuckoo filters☆27Oct 15, 2021Updated 4 years ago
- gRPC-Go experimental branch using Go's native http2 support☆14Jul 31, 2017Updated 9 years ago
- Package kobject provides access to Linux kobject userspace events. MIT Licensed.☆23Mar 4, 2024Updated 2 years ago
- minimal perfect hashing for rust☆13Aug 10, 2020Updated 6 years ago
- Distributed long running work system in Go☆154Aug 6, 2026Updated 3 weeks ago
- adaptive replacement cache☆33Aug 1, 2014Updated 12 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Paxos protocol variants framework☆26Mar 12, 2018Updated 8 years ago
- HCL Parser and Printer in Go☆44Nov 15, 2015Updated 10 years ago
- Optimal cache stampede prevention☆16May 11, 2017Updated 9 years ago
- Lightweight local libraries for containerd☆12Mar 19, 2026Updated 5 months ago
- symbolic reachability checker☆23Sep 23, 2021Updated 4 years ago
- ☆23Jul 29, 2016Updated 10 years ago
- Careful implementation of Jaro and Jaro-Winkler text difference algorithms☆17Jan 23, 2017Updated 9 years ago
- ☆15Jan 22, 2017Updated 9 years ago
- ASAP smoothing☆13Sep 8, 2017Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Go library for generating XOAuth2 strings (for use in XOAUTH2 SASL auth schemes for IMAP/SMTP)☆12Sep 17, 2012Updated 13 years ago
- “One if by land, and two if by sea”—Alerting for Graphite☆23Jul 12, 2023Updated 3 years ago
- Simple SAT Solver written in Go☆20May 29, 2022Updated 4 years ago
- ☆392Sep 15, 2017Updated 8 years ago
- ☆35Sep 27, 2015Updated 10 years ago
- A Kafka consumer coordination library for Go.☆33Mar 29, 2018Updated 8 years ago
- An experimental KV store, which implements an LSM on top of Bolt segments.☆32May 26, 2016Updated 10 years ago
- SIMD accelerated Base64 for Go☆19Oct 29, 2017Updated 8 years ago
- prbot: Pull Request robot☆13Mar 16, 2016Updated 10 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A simple library for querying the AST of a Go program☆11Feb 10, 2015Updated 11 years ago
- Line breaking in linear time☆32Aug 12, 2018Updated 8 years ago
- your dependencies have arrived☆269Oct 15, 2017Updated 8 years ago
- Golang library for listing and looking up licenses using SPDX IDs.☆23Nov 17, 2018Updated 7 years ago
- Small program to run requests against a web server and look for problems☆11Jan 20, 2016Updated 10 years ago
- A simple Go library to let you debug your HTTP transactions☆19May 30, 2026Updated 3 months ago
- A Go API for perf_event_open☆26Jul 3, 2024Updated 2 years ago