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:
- A fast SAT solver☆157Aug 26, 2021Updated 5 years ago
- gophersat, a SAT solver in Go☆389Jul 7, 2025Updated last year
- Simple generative fuzzer☆17Oct 18, 2021Updated 5 years ago
- A property-based testing library☆37Jun 24, 2017Updated 9 years ago
- Go library used to flip text☆19Sep 12, 2023Updated 3 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.
- symbolic reachability checker☆23Sep 23, 2021Updated 5 years ago
- [DEPRECATED] Slim is a Go tool that lists only those packages affected by source control changes☆22Apr 12, 2019Updated 7 years ago
- Go implemetation of cuckoo filters☆27Oct 15, 2021Updated 5 years ago
- gRPC-Go experimental branch using Go's native http2 support☆14Jul 31, 2017Updated 9 years ago
- Go (golang) bindings for Picosat, the satisfiability solver☆16Feb 18, 2018Updated 8 years ago
- Probabilistic data structures for processing very large datasets (MinHash, HyperLogLog)☆11Aug 20, 2015Updated 11 years ago
- Go (golang) bindings to the Z3 SMT Solver☆148Jul 16, 2022Updated 4 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- adaptive replacement cache☆33Aug 1, 2014Updated 12 years ago
- Careful implementation of Jaro and Jaro-Winkler text difference algorithms☆17Jan 23, 2017Updated 9 years ago
- Paxos protocol variants framework☆26Mar 12, 2018Updated 8 years ago
- Lightweight local libraries for containerd☆12Mar 19, 2026Updated 7 months ago
- HCL Parser and Printer in Go☆44Nov 15, 2015Updated 10 years ago
- Distributed long running work system in Go☆154Oct 22, 2026Updated last week
- implements invertible bloom filters in golang☆16Feb 3, 2020Updated 6 years ago
- ☆23Jul 29, 2016Updated 10 years ago
- ☆15Jan 22, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Simple SAT Solver written in Go☆20May 29, 2022Updated 4 years ago
- Optimal cache stampede prevention☆16May 11, 2017Updated 9 years ago
- ASAP smoothing☆13Sep 8, 2017Updated 9 years ago
- “One if by land, and two if by sea”—Alerting for Graphite☆23Jul 12, 2023Updated 3 years ago
- ☆35Sep 27, 2015Updated 11 years ago
- An experimental KV store, which implements an LSM on top of Bolt segments.☆32May 26, 2016Updated 10 years ago
- A Kafka consumer coordination library for Go.☆33Mar 29, 2018Updated 8 years ago
- graphql parser + utilities☆13Nov 5, 2015Updated 10 years ago
- prbot: Pull Request robot☆13Mar 16, 2016Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A Go API for perf_event_open☆26Jul 3, 2024Updated 2 years ago
- your dependencies have arrived☆269Oct 15, 2017Updated 9 years ago
- Go library for generating XOAuth2 strings (for use in XOAUTH2 SASL auth schemes for IMAP/SMTP)☆12Sep 17, 2012Updated 14 years ago
- SIMD accelerated Base64 for Go☆19Oct 29, 2017Updated 9 years ago
- ☆392Sep 15, 2017Updated 9 years ago
- siphasm: fast amd64 siphash-2-4☆10Sep 8, 2014Updated 12 years ago
- Fork of go's ssh lib☆12Jan 7, 2014Updated 12 years ago