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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A go implementation of metrics reporting for Circonus☆12Sep 23, 2025Updated 6 months ago
- Go HTTP handler for serving swagger-ui☆10May 2, 2016Updated 9 years ago
- Go (golang) bindings for Picosat, the satisfiability solver☆16Feb 18, 2018Updated 8 years ago
- TMFRAME, pronounced "time frame", is a binary standard for compactly encoding time series data☆27Aug 1, 2018Updated 7 years ago
- Golang client for HyperLogLog daemon (hlld)☆21Jan 31, 2016Updated 10 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Interlink Remote Applications☆23Jul 21, 2018Updated 7 years ago
- Parser/Validator for EDIFACT, written in Go (golang)☆23Aug 22, 2019Updated 6 years ago
- Load generator for graphite, Go-based.☆14May 31, 2017Updated 8 years ago
- Assembly-optimized Marvin32 hash function☆12Jan 17, 2024Updated 2 years ago
- Last-seen sketch implementation in Go☆16Dec 15, 2020Updated 5 years ago
- Various Go utility packages.☆37May 3, 2018Updated 7 years ago
- A Yum repo manager for developers☆13Feb 4, 2016Updated 10 years ago
- Golang user signal based package for collecting pprof information☆12Apr 1, 2016Updated 9 years ago
- Simple expiring cache☆15Mar 14, 2017Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A reader and writer per https://www.imperialviolet.org/2014/06/27/streamingencryption.html☆14Aug 23, 2020Updated 5 years ago
- File system package that supports cancellation.☆15Nov 20, 2014Updated 11 years ago
- ASAP smoothing☆13Sep 8, 2017Updated 8 years ago
- ☆11Jun 8, 2022Updated 3 years ago
- DEPRECATED: VPC-Native Kubernetes pod networking☆20Jul 16, 2018Updated 7 years ago
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆20Apr 3, 2017Updated 8 years ago
- one large file contains a billion of small files☆14Mar 7, 2014Updated 12 years ago
- an exhaustive sequence pattern search tool☆57Dec 4, 2025Updated 3 months ago
- tools to modify go programs☆11Nov 5, 2015Updated 10 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Event-sourcing and microservices infrastructure with specs framework for GoLang☆13May 26, 2015Updated 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
- MetaSSH connects to and runs commands on thousands of machines in seconds.☆19Nov 1, 2018Updated 7 years ago
- github.com/cznic/fileutil has moved to modernc.org/fileutil☆15Nov 22, 2018Updated 7 years ago
- amd64 optimized bit operations☆41Jan 13, 2018Updated 8 years ago
- Fork of http://godoc.org/code.google.com/p/gopacket☆14Jul 23, 2020Updated 5 years ago
- Collection of Go middleware☆15Feb 11, 2015Updated 11 years ago
- Go library for Chitin data file format and protocol☆10Jan 22, 2016Updated 10 years ago
- Fast identification of character sequences in text or documents (multi-lingual)☆18Feb 9, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- TrueSkill algorithm implementation in go☆19Nov 21, 2025Updated 4 months ago
- Utility for repeatedly retrying functions with support from a variety of backoff algorithms☆51Apr 4, 2014Updated 11 years ago
- A Go library which determines the dominant colors in an image.☆19Apr 27, 2015Updated 10 years ago
- implements invertible bloom filters in golang☆16Feb 3, 2020Updated 6 years ago
- Morally-correct string and stream interpolation for Go.☆24Apr 23, 2016Updated 9 years ago
- UNMAINTAINED Golang package for instrumenting gRPC servers☆20Feb 8, 2016Updated 10 years ago
- A zero dependency monitoring application written in go☆17Feb 29, 2016Updated 10 years ago