marcvanzee / go-satLinks
Simple SAT Solver written in Go
☆21Updated 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
Sorting:
- Go implementation of xoroshiro128+ RNG☆15Updated 4 years ago
- A property-based testing library☆37Updated 8 years ago
- UNMAINTAINED Golang package for instrumenting gRPC servers☆20Updated 9 years ago
- Simple generative fuzzer☆16Updated 3 years ago
- Remove implicit field traversals from Go source☆37Updated 3 years ago
- State Machine Assisted Testing☆78Updated 5 years ago
- ☆29Updated 9 years ago
- HyperLogLog in golang☆26Updated 7 years ago
- TMFRAME, pronounced "time frame", is a binary standard for compactly encoding time series data☆27Updated 7 years ago
- Golang client for HyperLogLog daemon (hlld)☆21Updated 9 years ago
- tools to modify go programs☆11Updated 9 years ago
- A library that provides simple TLS SNI demultiplexing without actually consuming the SSL handshake.☆23Updated 9 years ago
- A hashmap for Go that uses crypto random seeds, hash hints, open addressing, and robin hood hashing.☆29Updated 6 years ago
- Automatic codegen for encoding/binary marshaling☆17Updated 10 years ago
- ☆15Updated 7 years ago
- A layer of convenience over the Go stdlib☆22Updated 3 months ago
- Careful implementation of Jaro and Jaro-Winkler text difference algorithms☆17Updated 8 years ago
- ddmin test case minimization algorithm☆31Updated 3 years ago
- Utilities for interacting with mailgun.com.☆28Updated 6 years ago
- automatically trigger a profile in your golang (go) application when a condition is matched.☆15Updated 4 years ago
- ☆26Updated 9 years ago
- Online Change Detection Algorithm☆53Updated 5 years ago
- Backtrace Crash Delivery for Go☆24Updated 5 years ago
- Package ssdp implements the Simple Service Discovery Protocol (SSDP)☆50Updated 7 years ago
- exponential smoothing toolkit☆15Updated 9 years ago
- singlefile implements a host wide locking mechanism.☆34Updated 10 years ago
- Implementation of "An Optimal Suffix Array Construction Algorithm" described in a Technical Report by Ge Nong☆26Updated 12 years ago
- Package counting provides wrappers to add counting to io.Reader and io.Writer.☆24Updated 10 years ago
- github.com/cznic/sqlite3shell has moved to modernc.org/sqlite3shell☆21Updated 6 years ago
- Compiler benchmarking☆13Updated 7 years ago