Simple SAT Solver written in Go
☆20May 29, 2022Updated 4 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 last year
- 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☆28Aug 1, 2018Updated 8 years ago
- Golang client for HyperLogLog daemon (hlld)☆21Jan 31, 2016Updated 10 years ago
- Go HTTP handler for serving swagger-ui☆11May 2, 2016Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Assembly-optimized Marvin32 hash function☆12Jan 17, 2024Updated 2 years ago
- Bootstrap of flex project.☆13Oct 29, 2014Updated 12 years ago
- Interlink Remote Applications☆23Jul 21, 2018Updated 8 years ago
- Parser/Validator for EDIFACT, written in Go (golang)☆23Aug 22, 2019Updated 7 years ago
- SIMD accelerated Base64 for Go☆19Oct 29, 2017Updated 9 years ago
- A reader and writer per https://www.imperialviolet.org/2014/06/27/streamingencryption.html☆14Aug 23, 2020Updated 6 years ago
- Hyper-Compact Virtual Estimators for Big Network Data Based on Register Sharing☆32Jun 11, 2017Updated 9 years ago
- Simple expiring cache☆15Mar 14, 2017Updated 9 years ago
- Last-seen sketch implementation in Go☆16Dec 15, 2020Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- a circular buffer of sets☆12Jul 4, 2015Updated 11 years ago
- A Yum repo manager for developers☆13Feb 4, 2016Updated 10 years ago
- MetaSSH connects to and runs commands on thousands of machines in seconds.☆18Nov 1, 2018Updated 8 years ago
- ☆11Jun 8, 2022Updated 4 years ago
- Package gangliamr provides metrics backed by Ganglia.☆11Jun 12, 2015Updated 11 years ago
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆19Oct 25, 2026Updated last week
- Golang user signal based package for collecting pprof information☆12Apr 1, 2016Updated 10 years ago
- siphasm: fast amd64 siphash-2-4☆10Sep 8, 2014Updated 12 years ago
- Fork of http://godoc.org/code.google.com/p/gopacket☆14Jul 23, 2020Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ASAP smoothing☆13Sep 8, 2017Updated 9 years ago
- Permutations for Go☆16Mar 17, 2022Updated 4 years ago
- DEPRECATED: VPC-Native Kubernetes pod networking☆20Jul 16, 2018Updated 8 years ago
- A Go implementation of AES/CBC/HMAC-based AEAD constructions.☆11Oct 3, 2014Updated 12 years ago
- monotonic timers for Go 1.2☆21Aug 24, 2018Updated 8 years ago
- Various Go utility packages.☆38May 3, 2018Updated 8 years ago
- We bake 'em sweet, we bake 'em nice☆57Jul 24, 2024Updated 2 years ago
- Load generator for graphite, Go-based.☆14May 31, 2017Updated 9 years ago
- Morally-correct string and stream interpolation for Go.☆24Apr 23, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- tools to modify go programs☆11Nov 5, 2015Updated 10 years ago
- TrueSkill algorithm implementation in go☆19Sep 21, 2026Updated last month
- File system package that supports cancellation.☆15Nov 20, 2014Updated 11 years ago
- Go library for Chitin data file format and protocol☆10Jan 22, 2016Updated 10 years ago
- amd64 optimized bit operations☆41Jan 13, 2018Updated 8 years ago
- Fast identification of character sequences in text or documents (multi-lingual)☆18Feb 9, 2016Updated 10 years ago
- one large file contains a billion of small files☆14Mar 7, 2014Updated 12 years ago